From c5a79bf94de1677b6b4946731d34166a898ed3d1 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 23 Jul 2026 16:51:13 +0200 Subject: [PATCH] =?UTF-8?q?coqPackages.mathcomp-word:=203.4=20=E2=86=92=20?= =?UTF-8?q?3.5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/coq-modules/mathcomp-word/default.nix | 3 ++- pkgs/development/coq-modules/ssprove/default.nix | 1 - 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/coq-modules/mathcomp-word/default.nix b/pkgs/development/coq-modules/mathcomp-word/default.nix index 8289b838558f..0aa95dd0fead 100644 --- a/pkgs/development/coq-modules/mathcomp-word/default.nix +++ b/pkgs/development/coq-modules/mathcomp-word/default.nix @@ -46,6 +46,7 @@ mkCoqDerivation { releaseRev = v: "v${v}"; + release."3.5".hash = "sha256-ur6XGhTUQ1XdcyC6RERYaTwyzL58mWwdihY/yemjfQg="; release."3.4".hash = "sha256-AnyiM5B7JJZI5LR0vSi6baVIx9SibYRiho7UBg1uV5w="; release."3.3".hash = "sha256-Zn9245fr0OhgaXjWlIO1QwSxrQYetj7qPHwZAXTdqNc="; release."3.2".hash = "sha256-4HOFFQzKbHIq+ktjJaS5b2Qr8WL1eQ26YxF4vt1FdWM="; @@ -72,7 +73,7 @@ mkCoqDerivation { lib.switch [ coq.coq-version mathcomp.version ] [ - (case (range "8.16" "9.1") (isGe "2.0") "3.4") + (case (range "8.16" "9.1") (isGe "2.0") "3.5") (case (range "8.12" "8.20") (range "1.12" "1.19") "2.4") ] null; diff --git a/pkgs/development/coq-modules/ssprove/default.nix b/pkgs/development/coq-modules/ssprove/default.nix index cf90aa1d11b5..b10e7eef3a22 100644 --- a/pkgs/development/coq-modules/ssprove/default.nix +++ b/pkgs/development/coq-modules/ssprove/default.nix @@ -32,7 +32,6 @@ [ coq.coq-version mathcomp-boot.version ] [ (case (range "8.20" "9.1") (range "2.3.0" "2.5.0") "0.3.1") - (case (range "8.18" "9.1") (range "2.3.0" "2.4.0") "0.2.4") (case (range "8.18" "8.20") (range "2.3.0" "2.3.0") "0.2.3") (case (range "8.18" "8.20") (range "2.1.0" "2.2.0") "0.2.2") # This is the original dependency: