diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-22 12:44:05 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-22 14:10:42 -0800 |
| commit | 9a167a35ff87606f18580780d6b6e2ce3ddd3fcc (patch) | |
| tree | 5dff58627ce2e0bf8d4e5832308bdfef2dffb366 /pkgs/top-level/all-packages.nix | |
| parent | 94fbbb2ed6487aa5da28c3816e343e263df112c8 (diff) | |
| download | nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.tar nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.tar.gz nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.tar.bz2 nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.tar.lz nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.tar.xz nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.tar.zst nixlib-9a167a35ff87606f18580780d6b6e2ce3ddd3fcc.zip | |
coq_8_6: Use ocamlPackages, rather than a specific version
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index e8d5e8da8ad6..f76728bd62cf 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16731,8 +16731,8 @@ in camlp5 = ocamlPackages.camlp5_transitional; }; coq_8_6 = callPackage ../applications/science/logic/coq/8.6.nix { - inherit (ocamlPackages_4_03) ocaml findlib lablgtk; - camlp5 = ocamlPackages_4_03.camlp5_transitional; + inherit (ocamlPackages) ocaml findlib lablgtk; + camlp5 = ocamlPackages.camlp5_transitional; }; coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix { inherit (ocamlPackages) ocaml findlib lablgtk; |