From 612edec617442b1853dd3f79d544829398ed28ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Laurent=20Th=C3=A9ry?= <thery@sophia.inria.fr>
Date: Sat, 13 Jul 2024 17:06:24 +0200
Subject: [PATCH] exclude 8.20

---
 .github/workflows/docker-action.yml | 1 +
 coq-bertrand.opam                   | 2 +-
 meta.yml                            | 3 ++-
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 711f2f0..c3d40c7 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -18,6 +18,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
       fail-fast: false
     steps:
diff --git a/coq-bertrand.opam b/coq-bertrand.opam
index 3048e80..cc8c5dd 100644
--- a/coq-bertrand.opam
+++ b/coq-bertrand.opam
@@ -19,7 +19,7 @@ an application of the postulate to compute partitions."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.18" & <= "8.20~") | (= "dev")}
+  "coq" {(>= "8.18" & < "8.20~") | (= "dev")}
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index be06592..9d0ec29 100644
--- a/meta.yml
+++ b/meta.yml
@@ -32,10 +32,11 @@ license:
 
 supported_coq_versions:
   text: Coq 8.18 or later
-  opam: '{(>= "8.18" & <= "8.20~") | (= "dev")}'
+  opam: '{(>= "8.18" & < "8.20~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: 'dev'
+- version: '8.19'
 - version: '8.18'
 
 tested_coq_nix_versions: