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
core-109.24.00-rc1
+tuntap.0.4
Merge pull request #744 from mirage/master

tuntap 0.4
core-109.24.00-rc2
sequence 0.3.5
Merge pull request #745 from c-cube/master

sequence 0.3.5 released
fix typo
Merge remote-tracking branch 'upstream/master' into pr
added tiny_json.1.1.1
core-109.24.00-rc2
added spotlib.2.2.0 and its js_of_ocaml version
url checksum change
meta_conv.1.1.1: fixed typo