From 6f462300ae8a6f98b1407652943d3ac74e6f2b88 Mon Sep 17 00:00:00 2001
From: Alex Gryzlov <aliaksandr.hryzlou@imdea.org>
Date: Fri, 10 May 2024 19:02:59 +0200
Subject: [PATCH] bump upper limit on coq

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

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 4055865..ca566b0 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -18,7 +18,7 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp:1.15.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.17.0-coq-8.17'
+          - 'mathcomp/mathcomp:1.17.0-coq-8.18'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:
diff --git a/README.md b/README.md
index 92fb5d6..144da15 100644
--- a/README.md
+++ b/README.md
@@ -6,8 +6,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/imdea-software/fcsl-pcm/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/imdea-software/fcsl-pcm/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/imdea-software/fcsl-pcm/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/imdea-software/fcsl-pcm/actions/workflows/docker-action.yml
 
 
 
diff --git a/coq-fcsl-pcm.opam b/coq-fcsl-pcm.opam
index 9c8be61..7a125ba 100644
--- a/coq-fcsl-pcm.opam
+++ b/coq-fcsl-pcm.opam
@@ -25,7 +25,7 @@ This library relies on propositional and functional extentionality axioms."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.15" & < "8.18~") | (= "dev") }
+  "coq" { (>= "8.15" & < "8.19~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "1.15.0" & < "1.18~") | (= "dev") }
   "coq-mathcomp-algebra" 
 ]
diff --git a/meta.yml b/meta.yml
index 542de6b..d60bbc0 100644
--- a/meta.yml
+++ b/meta.yml
@@ -41,12 +41,12 @@ license:
 
 supported_coq_versions:
   text: Coq 8.15 to 8.17
-  opam: '{ (>= "8.15" & < "8.18~") | (= "dev") }'
+  opam: '{ (>= "8.15" & < "8.19~") | (= "dev") }'
 
 tested_coq_opam_versions:
 - version: '1.15.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
-- version: '1.17.0-coq-8.17'
+- version: '1.17.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
 - version: 'coq-dev'
   repo: 'mathcomp/mathcomp-dev'