Marco Maggesi ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react ...

svn path=/nixpkgs/trunk/; revision=25041

2010-12-09 15:40:04 +00:00

..

camlp5

Updated Coq to version 8.2pl1

2009-11-02 11:44:27 +00:00

findlib

* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react

2010-12-09 15:40:04 +00:00

omake

omake: version 0.9.8.5

2010-05-27 19:44:03 +00:00