From 7017019bc1bb77c607dd342b3f37a13d1cfec11d Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 3 Apr 2026 14:28:23 +0200
Subject: [PATCH] rocqPackages.relation-algebra: enable for Rocq 9.1

---
 pkgs/development/rocq-modules/relation-algebra/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";
         }
       ]