Merge pull request #1242 from coq/coq-printf.1.0.2-fix-coq-version

Fix Coq version for coq-printf.1.0.2
coq · Apr 12, 2020 · efee794 · efee794
2 parents a5df5e8 + ea19181
commit efee794
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-printf/coq-printf.1.0.2/opam b/released/packages/coq-printf/coq-printf.1.0.2/opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.8" & < "8.12~"}
+  "coq" {>= "8.9" & < "8.12~"}
 ]
 tags: [
   "date:2020-04-05"