[Coq8.4pl1] Add dependency on camlp5. Camlp5 seems preferred to camlp4.
Merge pull request #435 from bobot/master

 [Coq8.4pl1] Add dependency on camlp5.
add parmap.1.0-rc2
fix parmap.1.0-rc1 sha1 (looks like someone moved a tag...)
Merge pull request #437 from rixed/fix-parmap-rc1

fix parmap.1.0-rc1 sha1 (looks like someone moved a tag...)
Merge pull request #436 from rixed/add-parmap-rc2

add parmap.1.0-rc2
added ounit dependency to pa_ounit
async 109.10.00-rc2
datalog 0.3
Merge pull request #438 from c-cube/master

datalog 0.3
Merge branch 'master' of git://github.com/OCamlPro/opam-repository into stage_core_109.10.00
Merge branch 'core-109.10.00' of git://github.com/janestreet/opam-repository into stage_core_109.10.00