rocqPackages.relation-algebra: enable for Rocq 9.1

2026-04-03 14:28:23 +02:00
parent b1804c50cc
commit 7017019bc1
1 changed files with 1 additions and 1 deletions
@@ -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";
        }
      ]