diff --git a/pkgs/development/rocq-modules/extructures/default.nix b/pkgs/development/rocq-modules/extructures/default.nix
index f6e485b1d75e..2870d6dd68e2 100644
--- a/pkgs/development/rocq-modules/extructures/default.nix
+++ b/pkgs/development/rocq-modules/extructures/default.nix
@@ -26,6 +26,7 @@
     lib.switch
       [ coq.coq-version mathcomp-boot.version ]
       [
+        (case (range "9.0" "9.2") (range "2.5.0" "2.6.0") "0.6.0")
         (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.5.0")
         (case (range "8.17" "8.20") (range "2.0.0" "2.3.0") "0.4.0")
         (case (range "8.11" "8.20") (range "1.12.0" "1.19.0") "0.3.1")
@@ -36,6 +37,7 @@
 
   releaseRev = v: "v${v}";
 
+  release."0.6.0".hash = "sha256-rwqkVoRVErqanJOGS5p2q1GPdqXQcBaro5GnFnumzhw=";
   release."0.5.0".hash = "sha256-Guu2+tmHym52DA6SB5Rq/rYWIQEl47Q7YvMaUkfOH2k=";
   release."0.4.0".hash = "sha256-hItFO2XY2LTPSofPTKt3AfOEfiLliaYdzUXgDv4ea9Y=";
   release."0.3.1".hash = "sha256-KcuG/11Yq5ACem4FyVnQqHKvy3tNK7hd0ir2SJzzMN0=";