diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1d91c48a5e40e0252b380cd4c0b5966a8ead225f..a921c4d08b37a730d2b10e66acd3624297b4c49c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -93,21 +93,6 @@ stages:
 
 ###################### The Jobs ######################
 
-1.10.0-coq-8.11:
-  extends:
-    - .build
-    - .not_in_wip_branches
-
-1.11.0-coq-8.11:
-  extends:
-    - .build
-    - .not_in_wip_branches
-
-1.11.0-coq-8.12:
-  extends:
-    - .build
-    - .not_in_wip_branches
-
 1.12.0-coq-8.13:
   extends:
     - .build
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 14613537737d9b346001391b7d94fb02b9d5c9ef..0a74e45b08dbb4009cb8a24bc32f3a46a554d532 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -13,8 +13,8 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {((>= "8.11" & < "8.14~") | = "dev")}
-  "coq-mathcomp-ssreflect" {((>= "1.10" & < "1.13~") | = "dev")}
+  "coq" {((>= "8.13" & < "8.14~") | = "dev")}
+  "coq-mathcomp-ssreflect" {((>= "1.12" & < "1.13~") | = "dev")}
 ]
 
 tags: [