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

…