Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
core 109.19.00-rc1
jenga 109.19.00-rc2
remove git:// url in mirage-net in preference for stable archive, added by mistake
Merge pull request #648 from mirage/master

mirage-net: remove git:// url in stable repository
added skeleton for the package
updated URL and checksum
corrected remove target
updated
better desc.
updated checksum
Merge pull request #651 from HappyCrow/dolog_package

Dolog package
zipperposition 0.2
added dependencies to zipperposition-0.2
Merge pull request #652 from c-cube/master

zipperposition 0.2
ocaml version contraint
Merge pull request #653 from c-cube/master

zipperposition 0.2: ocaml-version added