diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-12-22 10:34:56 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-12-22 10:35:56 -0800 |
| commit | 4888bfecc28c0b74a18351a08cce5618c5b54868 (patch) | |
| tree | 2b2e2a1437e9b466f56bb113c55239689a9980ff /pkgs/applications/science/logic | |
| parent | 603dbfc5a9ea77e4a98e46274843139a8501deda (diff) | |
| download | nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.tar nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.tar.gz nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.tar.bz2 nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.tar.lz nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.tar.xz nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.tar.zst nixlib-4888bfecc28c0b74a18351a08cce5618c5b54868.zip | |
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
Addresses #14829
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/coq/8.4.nix (renamed from pkgs/applications/science/logic/coq/default.nix) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/8.4.nix
index f162fe4a86ea..f162fe4a86ea 100644
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/8.4.nix
|