Author: roconnor
Date: Mon May 28 19:41:26 2012
New Revision: 34261
URL: https://nixos.org/websvn/nix/?rev=34261&sc=1
Log:
Update coq to use camlp5 version 6.
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Mon May 28 14:14:35
2012 (r34260)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Mon May 28 19:41:26
2012 (r34261)
@@ -8244,7 +8244,7 @@
coq = callPackage ../applications/science/logic/coq {
inherit (ocamlPackages) findlib lablgtk;
- camlp5 = ocamlPackages.camlp5_5_transitional;
+ camlp5 = ocamlPackages.camlp5_transitional;
};
cvc3 = callPackage ../applications/science/logic/cvc3 {};
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
