core-109.55.00-rc1
oops, some files missing from previous commit
core-109.55.00-rc2
Updated Lacaml to version 7.0.12
datalog 0.5.1
version restriction on ocaml
build doc when building datalog
Merge pull request #1431 from mirage/master

+cow.0.8.0
ocaml version restriction also for datalog-5.0
Merge pull request #1432 from mirage/master

Mirage: restrict to ocaml-4.00.1+
Merge pull request #1430 from c-cube/datalog-0.5.1

datalog 0.5.1
omd 0.9.0

- bug fixes,
- semantics adjustments,
- interface modifications
Merge https://github.com/OCamlPro/opam-repository
Fixed depexts for Lacaml
Add oasis 0.4.0
Merge pull request #1433 from pw374/master

omd 0.9.0
Merge pull request #1427 from mmottl/master

Updated Lacaml to version 7.0.12
Merge pull request #1434 from jpdeplaix/master

Add oasis 0.4.0
Fix hint for macs when gtk can't be found
Merge pull request #1435 from AltGr/fix-gtk-mac-hint

Fix hint for macs when gtk can't be found