diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-16 06:14:41 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 15:30:36 +0000 |
commit | 4c454a320886751115a6c03764f407d8079ef886 (patch) | |
tree | 8aafe9332e6db39540e6622e7c2dc0dd1b1fe67e /pkgs/top-level | |
parent | d9f41a5bcee2f81c851bb060d287f6bc80986973 (diff) | |
download | nixlib-4c454a320886751115a6c03764f407d8079ef886.tar nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.gz nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.bz2 nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.lz nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.xz nixlib-4c454a320886751115a6c03764f407d8079ef886.tar.zst nixlib-4c454a320886751115a6c03764f407d8079ef886.zip |
coq: minor cleaning
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 34d9f09ff14a..18f3f6d4d6dc 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -60,10 +60,10 @@ in rec { coq_8_5 = callPackage ../applications/science/logic/coq { version = "8.5pl3"; }; - coq_8_6 = callPackage ../applications/science/logic/coq {}; - coq_8_7 = callPackage ../applications/science/logic/coq { - version = "8.7.1"; + coq_8_6 = callPackage ../applications/science/logic/coq { + version = "8.6.1"; }; + coq_8_7 = callPackage ../applications/science/logic/coq {}; coqPackages_8_5 = mkCoqPackages coq_8_5; coqPackages_8_6 = mkCoqPackages coq_8_6; |