diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-02-09 08:45:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-09 08:45:31 +0000 |
| commit | 7ca084292a2ca21f66ee3b73b44617066ca1e129 (patch) | |
| tree | feb6c5261857c20c88d1c0dadadeed673e2437e6 | |
| parent | 62f7640ebee8d4092753a04589f0c25413294052 (diff) | |
| parent | 202fb6faeabcb6f78e711ac0dd48002e0f776c53 (diff) | |
| download | nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.tar nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.tar.gz nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.tar.bz2 nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.tar.lz nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.tar.xz nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.tar.zst nixlib-7ca084292a2ca21f66ee3b73b44617066ca1e129.zip | |
Merge pull request #34714 from vbgl/coq-default-to-8.7
coq: default to 8.7
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index c27a2e7d39d8..12a62ba3851b 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -75,7 +75,7 @@ in rec { coqPackages_8_5 = mkCoqPackages coq_8_5; coqPackages_8_6 = mkCoqPackages coq_8_6; coqPackages_8_7 = mkCoqPackages coq_8_7; - coqPackages = coqPackages_8_6; + coqPackages = coqPackages_8_7; coq = coqPackages.coq; } |