diff --git a/coq-prosa.opam b/coq-prosa.opam
index 0a74e45b08dbb4009cb8a24bc32f3a46a554d532..9295e623d93e95c97704ff86db978e4fd4d3aaa7 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -13,7 +13,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {((>= "8.13" & < "8.14~") | = "dev")}
+  "coq" {((>= "8.13" & < "8.15~") | = "dev")}
   "coq-mathcomp-ssreflect" {((>= "1.12" & < "1.13~") | = "dev")}
 ]