diff --git a/opam b/opam
index 8821e5f..6313dc2 100644
--- a/opam
+++ b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.12" & < "8.13~" }
+  "coq" { >= "8.13" & < "8.14~" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """