diff --git a/released/packages/coq-printf/coq-printf.1.0.2/opam b/released/packages/coq-printf/coq-printf.1.0.2/opam
index 6767006f6c..3ed75d0ad3 100644
--- 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"