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

coq_8_6: Use ocamlPackages, rather than a specific version

Browse Source
This commit is contained in:
John Wiegley 2016-12-22 12:44:05 -08:00
parent 94fbbb2ed6
commit 9a167a35ff
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

@ -16731,8 +16731,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_4_03) ocaml findlib lablgtk; inherit (ocamlPackages) ocaml findlib lablgtk;
camlp5 = ocamlPackages_4_03.camlp5_transitional; camlp5 = ocamlPackages.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;