From 8bd57a68299855803bf0c0cd93aa7357040d4820 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Thu, 28 Oct 2021 16:30:34 +0200
Subject: [PATCH] adding coq 8.14

---
 .github/workflows/docker-action.yml | 1 +
 README.md                           | 2 +-
 coq-mathcomp-abel.opam              | 2 +-
 meta.yml                            | 6 ++++--
 4 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 8c86ccf..ee1e253 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -24,6 +24,7 @@ jobs:
           - 'mathcomp/mathcomp-dev:coq-8.11'
           - 'mathcomp/mathcomp-dev:coq-8.12'
           - 'mathcomp/mathcomp-dev:coq-8.13'
+          - 'mathcomp/mathcomp-dev:coq-8.14'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:
diff --git a/README.md b/README.md
index b3a9050..579545c 100644
--- a/README.md
+++ b/README.md
@@ -26,7 +26,7 @@ Mathematical Components library.
   - Assia Mahboubi (initial)
   - Pierre-Yves Strub (initial)
 - License: [CeCILL-B](CeCILL-B)
-- Compatible Coq versions: Coq 8.10 to 8.13
+- Compatible Coq versions: Coq 8.10 to 8.14
 - Additional dependencies:
   - [MathComp ssreflect 1.12 and later](https://math-comp.github.io)
   - [MathComp fingroup 1.12 and later](https://math-comp.github.io)
diff --git a/coq-mathcomp-abel.opam b/coq-mathcomp-abel.opam
index a926523..ac26d3b 100644
--- a/coq-mathcomp-abel.opam
+++ b/coq-mathcomp-abel.opam
@@ -21,7 +21,7 @@ Mathematical Components library."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.10" & < "8.14~") | = "dev" }
+  "coq" { (>= "8.10" & < "8.15~") | = "dev" }
   "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.14~") | = "dev" }
   "coq-mathcomp-fingroup" 
   "coq-mathcomp-algebra" 
diff --git a/meta.yml b/meta.yml
index 752a30a..919f851 100644
--- a/meta.yml
+++ b/meta.yml
@@ -41,8 +41,8 @@ license:
   file: CeCILL-B
 
 supported_coq_versions:
-  text: Coq 8.10 to 8.13
-  opam: '{ (>= "8.10" & < "8.14~") | = "dev" }'
+  text: Coq 8.10 to 8.14
+  opam: '{ (>= "8.10" & < "8.15~") | = "dev" }'
 
 tested_coq_opam_versions:
 - version: '1.12.0-coq-8.10'
@@ -59,6 +59,8 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.13'
   repo: 'mathcomp/mathcomp-dev'
+- version: 'coq-8.14'
+  repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-dev'
   repo: 'mathcomp/mathcomp-dev'