diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index d916ff8c0..c0a2b455e 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -22,7 +22,7 @@ jobs:
           - 'mathcomp/mathcomp:1.13.0-coq-8.13'
           - 'mathcomp/mathcomp:1.13.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.13.0-coq-dev'
+          - 'mathcomp/mathcomp:1.14.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.13'
           - 'mathcomp/mathcomp-dev:coq-8.14'
           - 'mathcomp/mathcomp-dev:coq-dev'
diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
index 71c695e5b..5f56c46d6 100644
--- a/coq-mathcomp-analysis.opam
+++ b/coq-mathcomp-analysis.opam
@@ -19,11 +19,11 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.13" & < "8.16~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.14~") | (= "dev") }
-  "coq-mathcomp-field" { (>= "1.12.0" & < "1.14~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.15~") | (= "dev") }
+  "coq-mathcomp-field" { (>= "1.12.0" & < "1.15~") | (= "dev") }
   "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") }
   "coq-mathcomp-bigenough" { (>= "1.0.0") }
   "coq-hierarchy-builder" { (>= "0.10.0") }