From a7241ea207b603f3d3515b45600c3747c71bc39c Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Sat, 7 May 2022 07:29:49 +0200 Subject: [PATCH] coq: default to 8.15 --- pkgs/top-level/all-packages.nix | 2 +- pkgs/top-level/coq-packages.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index ae0c1c4f803..e9e2529e19b 100644 --- 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 { diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 6af05d761c4..9c3e666c5b3 100644 --- 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; }