upper bounds for coq-regexp-brzozowski.1.0.0

coq · Oct 14, 2023 · 86683cc · 86683cc
1 parent 382e90a
commit 86683cc
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: [