wrong comparator in the bounds description for coq versions

ybertot · Jun 19, 2024 · 60c7913 · 60c7913
1 parent e6bab14
commit 60c7913
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-pi-agm/coq-pi-agm.1.2.7/opam b/released/packages/coq-pi-agm/coq-pi-agm.1.2.7/opam
@@ -9,7 +9,7 @@ build: [["coq_makefile" "-f" "_CoqProject" "-o" "Makefile" ]
 install: [ make "install" "DEST='%{lib}%/coq/user-contrib/pi_agm'" ]
 depends: [
   "ocaml"
-  "coq" {<= "8.17" & < "8.20~"}
+  "coq" {>= "8.17" & < "8.20~"}
   "coq-coquelicot" {>= "3" & < "4~"}
   "coq-interval" {>= "4"}
 ]