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

coq_8_6: Use ocamlPackages_4_03 rather than 4_01

Browse Source
This commit is contained in:
John Wiegley 2016-12-22 11:04:39 -08:00
parent 4888bfecc2
commit f06284b0dc
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -16733,8 +16733,8 @@ in
camlp5 = ocamlPackages.camlp5_transitional; camlp5 = ocamlPackages.camlp5_transitional;
}; };
coq_8_6 = callPackage ../applications/science/logic/coq/8.6.nix { coq_8_6 = callPackage ../applications/science/logic/coq/8.6.nix {
inherit (ocamlPackages) ocaml findlib lablgtk; inherit (ocamlPackages_4_03) ocaml findlib lablgtk;
camlp5 = ocamlPackages.camlp5_transitional; camlp5 = ocamlPackages_4_03.camlp5_transitional;
}; };
coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix { coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix {
inherit (ocamlPackages) ocaml findlib lablgtk; inherit (ocamlPackages) ocaml findlib lablgtk;