diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e6fb99b8eeee28cf60bc7ac2d3cf88c521cbad62..62a73b509b6dc5618c1b62f46d08e268309f9232 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ stages:
     - opam install -y -v -j ${NJOBS} coq-prosa
 
 .preferred-stable-version:
-    image: mathcomp/mathcomp:1.10.0-coq-8.11
+    image: mathcomp/mathcomp:1.12.0-coq-8.13
 
 .build:
   image: mathcomp/mathcomp:${CI_JOB_NAME}
@@ -23,14 +23,14 @@ stages:
 
 .build-for-process:
   stage: build
-  image: mathcomp/mathcomp:1.10.0-coq-8.11
+  image: mathcomp/mathcomp:1.12.0-coq-8.13
   script:
     - ./create_makefile.sh --without-classic
     - make -j ${NJOBS}
 
 .build-for-process-classic:
   stage: build
-  image: mathcomp/mathcomp:1.10.0-coq-8.11
+  image: mathcomp/mathcomp:1.12.0-coq-8.13
   script:
     - ./create_makefile.sh --only-classic
     - make -j ${NJOBS}
@@ -72,6 +72,9 @@ stages:
 1.11.0-coq-8.12:
   extends: .build
 
+1.12.0-coq-8.13:
+  extends: .build
+
 build-for-process:
   extends:
     - .build-for-process
@@ -94,7 +97,7 @@ spell-check:
   script:
     - scripts/flag-typos-in-comments.sh `find .  -iname '*.v' ! -path './classic/*'`
 
-coq-8.12:
+coq-8.13:
   extends:
     - .build-dev
   # it's ok to fail with an unreleased version of ssreflect
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 4733655c97b70e897f64884657f13e43a156a768..14613537737d9b346001391b7d94fb02b9d5c9ef 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -13,8 +13,8 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {((>= "8.11" & < "8.13~") | = "dev")}
-  "coq-mathcomp-ssreflect" {((>= "1.10" & < "1.12~") | = "dev")}
+  "coq" {((>= "8.11" & < "8.14~") | = "dev")}
+  "coq-mathcomp-ssreflect" {((>= "1.10" & < "1.13~") | = "dev")}
 ]
 
 tags: [