Updated Lacaml
Add llvmgraph 0.1
New lilis!
+ppx_deriving.1.0
+ppx_deriving_yojson.2.0
+ppx_deriving_protobuf.2.0
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
Updated pcre-ocaml
Updated postgresql-ocaml
Updated res
+Abella 2.0.2

Also removed abella.2.0.0, which is now obsolete
Abella 2.0.2 requires OCaml 4.01.0+
travis: Fix the check for package availability on older opams

turns out there used to be no good way of simply checking this, so I'm just trying to
install with --dry-run and expecting an empty stdout if the package is unavailable
Add ocaml-hex 0.10
Add ezjsonm 0.3.0 and migrate older versions to new repo address
+mirage-xen-minios.0.4.1
Coq 8.4.5 added
Sync latest compiler pull requests
Merge pull request #2933 from samoht/hex

Add ocaml-hex 0.10
Merge pull request #2934 from mirage/master

+mirage-xen-minios.0.4.1