diff --git a/pkgs/development/rocq-modules/relation-algebra/default.nix b/pkgs/development/rocq-modules/relation-algebra/default.nix
index 0bb2e1d289ad..73a712681bcf 100644
--- a/pkgs/development/rocq-modules/relation-algebra/default.nix
+++ b/pkgs/development/rocq-modules/relation-algebra/default.nix
@@ -16,7 +16,7 @@ mkRocqDerivation {
       [ rocq-core.rocq-version ]
       [
         {
-          cases = [ (lib.versions.isEq "9.0") ];
+          cases = [ (lib.versions.range "9.0" "9.1") ];
           out = "1.8.0";
         }
       ]