diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-07 12:58:23 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-13 20:43:49 +0000 |
| commit | 4f0db5d0ad12ff44e24094b483c80731bf2f1cc9 (patch) | |
| tree | 4a5502f0475c1f590fb1c43447ca3b3d2b7aca7a /pkgs/top-level/coq-packages.nix | |
| parent | 037157080799d96ac50feaaf16d783058a8222cb (diff) | |
| download | nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.tar nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.tar.gz nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.tar.bz2 nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.tar.lz nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.tar.xz nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.tar.zst nixpkgs-4f0db5d0ad12ff44e24094b483c80731bf2f1cc9.zip | |
coq: default to version 8.8
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -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 de9b6d38b74..5f784e64534 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -81,7 +81,7 @@ in rec { coqPackages_8_6 = mkCoqPackages coq_8_6; coqPackages_8_7 = mkCoqPackages coq_8_7; coqPackages_8_8 = mkCoqPackages coq_8_8; - coqPackages = coqPackages_8_7; + coqPackages = coqPackages_8_8; coq = coqPackages.coq; } |