opam2web now operates over a prioritized stack of opam repos to form a universe
Put preds in the universe
Fix local opam universe ordering bug
Add optional repository info table for package index page
Simplify predicate test; make predicates compute a package transitive closure
Merge branch 'master' into universe
Add depopt predicate
Add 'not' predicate functional
Make query system operate on universes (again)
Add error message for missing 'local' repo
Add repo predicate
Update .gitignore and README.md
Fix css: horrible title placement (thanks to @mfp for noticing)
Merge pull request #53 from chambart/master

Fix css: horrible title placement (thanks to @mfp for noticing)
Merge pull request #52 from dsheets/universe

Universe