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/coq-packages.nix | |
parent | d9f41a5bcee2f81c851bb060d287f6bc80986973 (diff) | |
download | nixpkgs-4c454a320886751115a6c03764f407d8079ef886.tar nixpkgs-4c454a320886751115a6c03764f407d8079ef886.tar.gz nixpkgs-4c454a320886751115a6c03764f407d8079ef886.tar.bz2 nixpkgs-4c454a320886751115a6c03764f407d8079ef886.tar.lz nixpkgs-4c454a320886751115a6c03764f407d8079ef886.tar.xz nixpkgs-4c454a320886751115a6c03764f407d8079ef886.tar.zst nixpkgs-4c454a320886751115a6c03764f407d8079ef886.zip |
coq: minor cleaning
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
-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 34d9f09ff14..18f3f6d4d6d 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; |