diff --git a/opam/why3-coq.opam b/opam/why3-coq.opam
index 72d1506c5993f140f9d489eb635e4997fa71919c..bd123c9eec038f6f4102b4d03764585e847cf0bd 100644
--- a/opam/why3-coq.opam
+++ b/opam/why3-coq.opam
@@ -43,7 +43,7 @@ depends: [
   "ocaml" {>= "4.02.3"}
   "ocamlfind" {build}
   "why3"
-  "coq" {>= "8.5" & < "8.9~"}
+  "coq" {>= "8.5" & < "8.10~"}
 ]
 
 depopts: [