core 109.19.00-rc1
jenga 109.19.00-rc2
Merge pull request #648 from mirage/master

mirage-net: remove git:// url in stable repository
added skeleton for the package
updated URL and checksum
corrected remove target
updated
better desc.
updated checksum
Merge pull request #651 from HappyCrow/dolog_package

Dolog package
zipperposition 0.2
added dependencies to zipperposition-0.2
Merge pull request #652 from c-cube/master

zipperposition 0.2
ocaml version contraint
Merge pull request #653 from c-cube/master

zipperposition 0.2: ocaml-version added
evil commit that changes the md5 of zipperposition 0.2, for the greater good
Merge pull request #654 from c-cube/master

magic update of 0.2 in place
Add ibx-0.5.3
Merge pull request #655 from olgu/ibx

Add ibx-0.5.3
core 109.19.00