| commit | a85e6ab7ab32360088535dd33263450489d3b920 | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Thu, 23 Dec 2010 19:28:06 +0000 (23 19:28 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Thu, 23 Dec 2010 19:28:06 +0000 (23 19:28 +0000) | ||
| tree | e518bdc28404069888f888fad2eefbe6092f544c | treesnapshot (tar.gz zip) |
| parent | bbd3b9d8a6876850cdbda256443f5b692b65c99f | commitdiff |
* Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@25269 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
* Fix HOL Light derivation
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@25269 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/science/logic/hol_light/default.nix | diffblobblamehistory | |
| pkgs/development/tools/ocaml/findlib/default.nix | diffblobblamehistory | |
| pkgs/top-level/all-packages.nix | diffblobblamehistory |