coq: default to 8.15

2 years ago · a7241ea207
parent 38dc75293d
commit a7241ea207
2 changed files with 2 additions and 2 deletions
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@ -12375,7 +12375,7 @@ with pkgs;

  comby = callPackage ../development/tools/comby { };

-  compcert = coqPackages.compcert.override { version = "3.9"; };
+  inherit (coqPackages) compcert;

  computecpp-unwrapped = callPackage ../development/compilers/computecpp {};
  computecpp = wrapCCWith rec {
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@ -160,7 +160,7 @@ in rec {
  coqPackages_8_13 = mkCoqPackages coq_8_13;
  coqPackages_8_14 = mkCoqPackages coq_8_14;
  coqPackages_8_15 = mkCoqPackages coq_8_15;
-  coqPackages = recurseIntoAttrs coqPackages_8_13;
+  coqPackages = recurseIntoAttrs coqPackages_8_15;
  coq = coqPackages.coq;

 }