Update released/packages/coq-pil/coq-pil.1.0.1/opam

Co-authored-by: Guillaume Melquiond <[email protected]>

Author: hferee

released/packages/coq-pil/coq-pil.1.0.1/opam

@@ -14,7 +14,7 @@ authors: [
 license: "CECILL-2.1"
 
 depends: [
-  "coq" {>= "8.20.1"}
+  "coq" {>= "8.20"}
   "coq-stdpp" {>= "1.11.0"}
   "coq-equations" {}
 ]