Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib ...

* Fix HOL Light derivation

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

2010-12-23 19:28:06 +00:00

..

default.nix

* Handle variable createFindlibDestdir correctly in ocaml-findlib

2010-12-23 19:28:06 +00:00

ldconf.patch

* 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