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

..

camlp5

* Update camlp5

2010-12-20 10:32:22 +00:00

findlib

* Handle variable createFindlibDestdir correctly in ocaml-findlib

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

omake

…