From e6de8219eff62b2f3f96d32d6de877c93f88a5e2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <research@ralfj.de>
Date: Tue, 10 May 2022 08:47:58 +0200
Subject: [PATCH] bump minimal Coq version to 8.14

---
 .github/workflows/docker-action.yml |  9 +++++----
 README.md                           |  2 +-
 coq-autosubst.opam                  |  2 +-
 meta.yml                            | 14 +++++++-------
 4 files changed, 14 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index c4ce466..6d52cb9 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -1,3 +1,5 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
 name: Docker CI
 
 on:
@@ -16,10 +18,9 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp-dev:coq-dev'
-          - 'mathcomp/mathcomp:1.12.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.12.0-coq-8.12'
-          - 'mathcomp/mathcomp:1.11.0-coq-8.12'
-          - 'mathcomp/mathcomp:1.10.0-coq-8.11'
+          - 'mathcomp/mathcomp:1.14.0-coq-8.15'
+          - 'mathcomp/mathcomp:1.13.0-coq-8.15'
+          - 'mathcomp/mathcomp:1.12.0-coq-8.14'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2
diff --git a/README.md b/README.md
index 706ab85..ce98af8 100644
--- a/README.md
+++ b/README.md
@@ -43,7 +43,7 @@ substitutions.
   - Ralf Jung ([**@RalfJung**](https://github.com/RalfJung))
   - Dan Frumin ([**@co-dan**](https://github.com/co-dan))
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: 8.11 or later
+- Compatible Coq versions: 8.14 or later
 - Additional dependencies: none
 - Coq namespace: `Autosubst`
 - Related publication(s):
diff --git a/coq-autosubst.opam b/coq-autosubst.opam
index d732169..82d5be1 100644
--- a/coq-autosubst.opam
+++ b/coq-autosubst.opam
@@ -23,7 +23,7 @@ substitutions."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.11" & < "8.16~") | (= "dev")}
+  "coq" {(>= "8.14" & < "8.16~") | (= "dev")}
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index fe2d71d..9ec539a 100644
--- a/meta.yml
+++ b/meta.yml
@@ -1,4 +1,6 @@
 ---
+# When this file changes, run 'generate.sh' from
+# https://github.com/coq-community/templates to update the other files.
 fullname: Autosubst
 shortname: autosubst
 organization: coq-community
@@ -44,19 +46,17 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: 8.11 or later
-  opam: '{(>= "8.11" & < "8.16~") | (= "dev")}'
+  text: 8.14 or later
+  opam: '{(>= "8.14" & < "8.16~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: 'coq-dev'
   repo: 'mathcomp/mathcomp-dev'
-- version: '1.12.0-coq-8.13'
+- version: '1.14.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
-- version: '1.12.0-coq-8.12'
+- version: '1.13.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
-- version: '1.11.0-coq-8.12'
-  repo: 'mathcomp/mathcomp'
-- version: '1.10.0-coq-8.11'
+- version: '1.12.0-coq-8.14'
   repo: 'mathcomp/mathcomp'
 
 namespace: Autosubst