diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index cf022d9..51dbc36 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -21,6 +21,8 @@ jobs:
           - 'mathcomp/mathcomp-dev:coq-8.13'
           - 'mathcomp/mathcomp-dev:coq-8.12'
           - 'mathcomp/mathcomp-dev:coq-8.11'
+          - 'mathcomp/mathcomp:1.14.0-coq-8.15'
+          - 'mathcomp/mathcomp:1.14.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.13'
           - 'mathcomp/mathcomp:1.13.0-coq-8.12'
diff --git a/coq-gaia-numbers.opam b/coq-gaia-numbers.opam
index 462df3c..9d6d869 100644
--- a/coq-gaia-numbers.opam
+++ b/coq-gaia-numbers.opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {(>= "8.10" & < "8.16~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.14~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.15~") | (= "dev")}
   "coq-mathcomp-algebra"
   "coq-gaia-theory-of-sets" {= version}
   "coq-gaia-ordinals" {= version}
diff --git a/coq-gaia-ordinals.opam b/coq-gaia-ordinals.opam
index 9a41c88..6db62a7 100644
--- a/coq-gaia-ordinals.opam
+++ b/coq-gaia-ordinals.opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {(>= "8.10" & < "8.16~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.14~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.15~") | (= "dev")}
   "coq-gaia-theory-of-sets" {= version}
   "coq-gaia-schutte" {= version}
 ]
diff --git a/coq-gaia-schutte.opam b/coq-gaia-schutte.opam
index 6d0cafe..b5da7e8 100644
--- a/coq-gaia-schutte.opam
+++ b/coq-gaia-schutte.opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {(>= "8.10" & < "8.16~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.14~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.15~") | (= "dev")}
 ]
 
 tags: [
diff --git a/coq-gaia-stern.opam b/coq-gaia-stern.opam
index 8622697..660b102 100644
--- a/coq-gaia-stern.opam
+++ b/coq-gaia-stern.opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {(>= "8.10" & < "8.16~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.14~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.15~") | (= "dev")}
   "coq-mathcomp-algebra"
 ]
 
diff --git a/coq-gaia-theory-of-sets.opam b/coq-gaia-theory-of-sets.opam
index ebffba1..c34748f 100644
--- a/coq-gaia-theory-of-sets.opam
+++ b/coq-gaia-theory-of-sets.opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {(>= "8.10" & < "8.16~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.14~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "1.12.0" & < "1.15~") | (= "dev")}
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index 513b68a..a9810d5 100644
--- a/meta.yml
+++ b/meta.yml
@@ -67,7 +67,7 @@ supported_coq_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{(>= "1.12.0" & < "1.14~") | (= "dev")}'
+    version: '{(>= "1.12.0" & < "1.15~") | (= "dev")}'
   description: |-
     [MathComp ssreflect 1.12 or later](https://math-comp.github.io)
 - opam:
@@ -88,6 +88,10 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.11'
   repo: 'mathcomp/mathcomp-dev'
+- version: '1.14.0-coq-8.15'
+  repo: 'mathcomp/mathcomp'
+- version: '1.14.0-coq-8.14'
+  repo: 'mathcomp/mathcomp'
 - version: '1.13.0-coq-8.14'
   repo: 'mathcomp/mathcomp'
 - version: '1.13.0-coq-8.13'