diff --git a/pkgs/development/rocq-modules/parseque/default.nix b/pkgs/development/rocq-modules/parseque/default.nix
index a61c00cb485b..048d5a676530 100644
--- a/pkgs/development/rocq-modules/parseque/default.nix
+++ b/pkgs/development/rocq-modules/parseque/default.nix
@@ -19,7 +19,7 @@ mkRocqDerivation {
       [ rocq-core.rocq-version ]
       [
         {
-          cases = [ (range "9.0" "9.0") ];
+          cases = [ (range "9.0" "9.1") ];
           out = "0.3.0";
         }
       ]