Merge branch 'master' of git://github.com/ocaml/opam-repository
Add gen_server 1.0.1
Merge pull request #1491 from orbitz/add-gen_server-1.0.1

Add gen_server 1.0.1
Add simple-bmc 0.0.1
Merge pull request #1493 from pondering/master

Add simple-bmc 0.0.1
Add gen_server 2.0.0, forces the state value to be in the error return value
Update URL to 2.0.1
Merge pull request #1495 from orbitz/add-gen_server-2.0.1

Add gen server 2.0.1
+opam-doc.0.9.2
Merge pull request #1496 from mirage/master

+opam-doc.0.9.2
Higher 0.1.
Merge pull request #1497 from yallop/higher-0.1

Higher 0.1
Rename higher-0.1 to higher.0.1
Merge pull request #1498 from yallop/higher.0.1

Rename higher-0.1 directory to higher.0.1
add draft cowabloga package
[cowabloga] update url to pre-release
[cowabloga] tweak descr
[cowabloga] forgot ssl
Merge pull request #1499 from mor1/master

first public release of cowabloga
+mirage-types.1.0.0