diff --git a/pkgs/development/coq-modules/jasmin/default.nix b/pkgs/development/coq-modules/jasmin/default.nix
index 1743ff667328..5001c837052c 100644
--- a/pkgs/development/coq-modules/jasmin/default.nix
+++ b/pkgs/development/coq-modules/jasmin/default.nix
@@ -5,10 +5,11 @@
   mathcomp,
   mathcomp-algebra-tactics,
   mathcomp-word,
+  ITree,
   version ? null,
 }:
 
-mkCoqDerivation {
+(mkCoqDerivation {
   pname = "jasmin";
   owner = "jasmin-lang";
 
@@ -27,12 +28,16 @@ mkCoqDerivation {
     lib.switch
       [ coq.coq-version mathcomp.version ]
       [
-        (case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.0")
+        (case (range "8.20" "9.1") (range "2.2" "2.4") "2025.06.1")
+        (case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.1")
         (case (isEq "8.18") (isEq "2.2") "2024.07.2")
       ]
       null;
   releaseRev = v: "v${v}";
 
+  release."2025.06.1".sha256 = "sha256-wEL1tN0HUa1Eb7FiQOBA6sAkuonrAMdkqq8gu9/CED0=";
+  release."2025.06.0".sha256 = "sha256-XfTg7ofamzMWqmRIU1/MO+S/ieNjvNEhlgIqFrchdAQ=";
+  release."2025.02.1".sha256 = "sha256-8P2GdplB12Q0e0XdL77w3nQL1/6Xl/gQNhGTB0WX/8I=";
   release."2025.02.0".sha256 = "sha256-Jlf0+VPuYWXdWyKHKHSp7h/HuCCp4VkcrgDAmh7pi5s=";
   release."2024.07.3".sha256 = "sha256-n/X8d7ILuZ07l24Ij8TxbQzAG7E8kldWFcUI65W4r+c=";
   release."2024.07.2".sha256 = "sha256-aF8SYY5jRxQ6iEr7t6mRN3BEmIDhJ53PGhuZiJGB+i8=";
@@ -56,4 +61,9 @@ mkCoqDerivation {
       vbgl
     ];
   };
-}
+}).overrideAttrs
+  (o: {
+    propagatedBuildInputs =
+      o.propagatedBuildInputs
+      ++ lib.optional (o.version == "dev" || lib.versionAtLeast o.version "2025.06") ITree;
+  })