diff --git a/coq-prosa.opam b/coq-prosa.opam
index ce6343510eac97ccabddb1b9682045e78b16f525..bcd1176402b452f87864f3b4e9b05a9da831ba9e 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -13,8 +13,8 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {((>= "8.9" & < "8.12~") | = "dev")}
-  "coq-mathcomp-ssreflect" {((>= "1.9" & < "1.11~") | = "dev")}
+  "coq" {((>= "8.10" & < "8.13~") | = "dev")}
+  "coq-mathcomp-ssreflect" {((>= "1.10" & < "1.12~") | = "dev")}
 ]
 
 tags: [
@@ -30,6 +30,7 @@ authors: [
   "Sergey Bozhko"
   "Xiaojie Guo"
   "Sophie Quinton"
+  "Marco Maida"
   "Marco Perronet"
 ]
 synopsis: "A Foundation for Formally Proven Schedulability Analysis"