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
updated ocaml-inotify version
core 109.23.00-rc1
core 109.23.00
Merge pull request #723 from c-cube/master

datalog 0.4 released
Merge https://github.com/OCamlPro/opam-repository
inotify.1.3
uri.1.3.8
Merge pull request #724 from mirage/master

uri.1.3.8
Merge pull request #714 from janestreet/core-109.23.00

core 109.23.00-rc1
inotify version change
new package genspir
Merge pull request #725 from HappyCrow/genspir_0.1

new package genspir
_oasis update