coq: default to version 8.13

3 years ago · 5f00e14842
parent bcbf6aafbd
commit 5f00e14842
1 changed files with 1 additions and 1 deletions
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@ -128,7 +128,7 @@ in rec {
  coqPackages_8_11 = mkCoqPackages coq_8_11;
  coqPackages_8_12 = mkCoqPackages coq_8_12;
  coqPackages_8_13 = mkCoqPackages coq_8_13;
-  coqPackages = recurseIntoAttrs coqPackages_8_11;
+  coqPackages = recurseIntoAttrs coqPackages_8_13;
  coq = coqPackages.coq;

 }