coqPackages.multinomials: compiles on rocq 9.0

khaneliman · Feb 12, 2025 · 9b34de6 · 9b34de6
1 parent 297c1be
commit 9b34de6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pkgs/development/coq-modules/multinomials/default.nix b/pkgs/development/coq-modules/multinomials/default.nix
@@ -26,7 +26,7 @@ mkCoqDerivation {
       [
         {
           cases = [
-            (range "8.17" "8.20")
+            (range "8.17" "9.0")
             (isGe "2.1.0")
           ];
           out = "2.3.0";