From 2abb9917c0d1c9dc82b6254336fe312e86dc05ec Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Wed, 11 Mar 2026 23:31:07 +0100
Subject: [PATCH] coqPackages.ssprove: 0.3.0 -> 0.3.1

---
 pkgs/development/coq-modules/ssprove/default.nix | 3 ++-
 pkgs/top-level/coq-packages.nix                  | 4 +---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/coq-modules/ssprove/default.nix b/pkgs/development/coq-modules/ssprove/default.nix
index b5c6a92d3ba5..2849d9ad5e5f 100644
--- a/pkgs/development/coq-modules/ssprove/default.nix
+++ b/pkgs/development/coq-modules/ssprove/default.nix
@@ -31,7 +31,7 @@
     lib.switch
       [ coq.coq-version mathcomp-boot.version ]
       [
-        (case (range "8.20" "9.1") (range "2.3.0" "2.5.0") "0.3.0")
+        (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")
@@ -48,6 +48,7 @@
 
   releaseRev = v: "v${v}";
 
+  release."0.3.1".sha256 = "sha256-KB8cwlU3pnxPMQZ+RSyB2EJINhw7iN3vwF6iY4U4+oc=";
   release."0.3.0".sha256 = "sha256-ioPqavLOc8ZEzroalLR4dpqDbnOyzzOmWSF9+J1yPdQ=";
   release."0.2.4".sha256 = "sha256-uglr47aDgSkKi2JyVyN+2BrokZISZUAE8OUylGjy7ds=";
   release."0.2.3".sha256 = "sha256-Y3dmNIF36IuIgrVILteofOv8e5awKfq93S4YN7enswI=";
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index f9464c39fae8..18f608a57c20 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -214,9 +214,7 @@ let
       simple-io = callPackage ../development/coq-modules/simple-io { };
       smpl = callPackage ../development/coq-modules/smpl { };
       smtcoq = callPackage ../development/coq-modules/smtcoq { };
-      ssprove = callPackage ../development/coq-modules/ssprove {
-        mathcomp-word = self.mathcomp-word.override { version = "3.2"; };
-      };
+      ssprove = callPackage ../development/coq-modules/ssprove { };
       stalmarck-tactic = callPackage ../development/coq-modules/stalmarck { };
       stalmarck = self.stalmarck-tactic.stalmarck;
       stdlib = callPackage ../development/coq-modules/stdlib { };