diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-22 11:04:39 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-22 11:04:39 -0800 |
| commit | f06284b0dc28eb7c1a27c57e97bf087ab224a8e7 (patch) | |
| tree | 5e91dc864243829c4582e578de8ee3f540501234 /pkgs/top-level/all-packages.nix | |
| parent | 4888bfecc28c0b74a18351a08cce5618c5b54868 (diff) | |
| download | nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.tar nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.tar.gz nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.tar.bz2 nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.tar.lz nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.tar.xz nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.tar.zst nixlib-f06284b0dc28eb7c1a27c57e97bf087ab224a8e7.zip | |
coq_8_6: Use ocamlPackages_4_03 rather than 4_01
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 6e5b498f70a3..e367d529dbcb 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16733,8 +16733,8 @@ in camlp5 = ocamlPackages.camlp5_transitional; }; coq_8_6 = callPackage ../applications/science/logic/coq/8.6.nix { - inherit (ocamlPackages) ocaml findlib lablgtk; - camlp5 = ocamlPackages.camlp5_transitional; + inherit (ocamlPackages_4_03) ocaml findlib lablgtk; + camlp5 = ocamlPackages_4_03.camlp5_transitional; }; coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix { inherit (ocamlPackages) ocaml findlib lablgtk; |