diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2010-12-23 19:28:06 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2010-12-23 19:28:06 +0000 |
commit | 51d6c8df916ae9fe482655af84562faa0dcd72c6 (patch) | |
tree | e518bdc28404069888f888fad2eefbe6092f544c /pkgs/development/compilers/clean/default.nix | |
parent | 8e81fd9ee8507dff08e6689cb1f9ba5ad38e89da (diff) |
* Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation svn path=/nixpkgs/trunk/; revision=25269
Diffstat (limited to 'pkgs/development/compilers/clean/default.nix')
0 files changed, 0 insertions, 0 deletions