Fix coq version in opam config.

Matafou · Dec 19, 2024 · 2ddf52a · 2ddf52a
1 parent 4ca8785
commit 2ddf52a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-libhyps.opam b/coq-libhyps.opam
@@ -27,7 +27,7 @@ run-test: [
 install: [make "install"]
 
 depends: [
-  "coq" {(>= "8.11" & < "8.19~") | (= "dev")}
+  "coq" {(>= "8.11" & <= "8.20~") | (= "dev")}
 ]
 
 tags: [