core 109.23.00-rc1
core 109.23.00
datalog 0.4 released
zipperposition 0.2 depends on datalog < 4 (api change)
Merge pull request #723 from c-cube/master

datalog 0.4 released
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