Update released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam

1DGW · palmskog · web-flow · commit af3bcf33713b · 2025-02-28T20:47:53.000+08:00
Co-authored-by: Karl Palmskog &lt;palmskog@gmail.com&gt;
diff --git a/released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam b/released/packages/coq-mk-choice-axiom-and-equivalent-propositions/coq-mk-choice-axiom-and-equivalent-propositions.1.0.0/opam
@@ -31,7 +31,7 @@ authors: [
 license: "LGPL-2.1"
 
 depends: [
-  "coq" {>= "8.20.1"}
+  "coq" {>= "8.20"}
 ]
 
 build: [
