Merge pull request #2762 from palmskog/brzozowski-bound

upper bounds for coq-regexp-brzozowski.1.0.0
coq · Oct 14, 2023 · 27f0754 · 27f0754
2 parents 382e90a + 86683cc
commit 27f0754
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/released/packages/coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam b/released/packages/coq-regexp-brzozowski/coq-regexp-brzozowski.1.0/opam
@@ -16,9 +16,9 @@ of regular expressions for correctness."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10"}
-  "coq-mathcomp-ssreflect" {>= "1.12.0"}
-  "coq-reglang" {>= "1.1.3"}
+  "coq" {>= "8.10" & < "8.17~"}
+  "coq-mathcomp-ssreflect" {>= "1.12.0" & < "1.16.0"}
+  "coq-reglang" {>= "1.1.3" & < "1.2.0"}
 ]
 
 tags: [