public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update coq to use camlp5 version 6.

Browse Source 
svn path=/nixpkgs/trunk/; revision=34261
This commit is contained in:
Russell O'Connor 2012-05-28 19:41:26 +00:00
parent 0ff3dd24ad
commit 390907e0a2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/top-level/all-packages.nix
View File

@ -8244,7 +8244,7 @@ let
coq = callPackage ../applications/science/logic/coq { coq = callPackage ../applications/science/logic/coq {
inherit (ocamlPackages) findlib lablgtk; inherit (ocamlPackages) findlib lablgtk;
camlp5 = ocamlPackages.camlp5_5_transitional; camlp5 = ocamlPackages.camlp5_transitional;
}; };
cvc3 = callPackage ../applications/science/logic/cvc3 {}; cvc3 = callPackage ../applications/science/logic/cvc3 {};