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
Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
added software upgrades
The package "gsl-ocaml" does not exists anymore.
Merge pull request #737 from Chris00/master

The package "gsl-ocaml" does not exists anymore.
Added package for OCaml-bitcoin 1.1.1
Add oclock.0.3.0
Merge pull request #739 from djs55/oclock.0.3.0

Add oclock.0.3.0
Merge pull request #738 from darioteixeira/master

Add package bitcoin 1.1.1
+cohttp.0.9.8, and constraints on older packages
+github.0.6.0
Merge pull request #740 from mirage/master

cohttp.0.9.8
core-109.24.00-rc1
update mirage compilers to use latest trunk
Merge pull request #743 from mirage/master

update mirage compilers to use latest trunk 4.01
Merge branch 'master', remote-tracking branch 'upstream/master'