udpate opam file to support coq-8.21~

Matafou · Dec 19, 2024 · 4503113 · 4503113
1 parent f08c3f2
commit 4503113
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.20~") | (= "dev")}
+  "coq" {(>= "8.11" & <= "8.21~") | (= "dev")}
 ]
 
 tags: [