1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 06:01:15 +00:00
nixpkgs/pkgs/development/tools/ocaml
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 omake: version 0.9.8.5 2010-05-27 19:44:03 +00:00