From 7ca4d381e21fcbd9858f030f2abe73676b5ac841 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 17 Jan 2024 17:00:48 +0100
Subject: [PATCH] [CI] Add Coq 8.19 and MC 2.2

---
 .github/workflows/ci.yml       | 1 +
 coq-mathcomp-multinomials.opam | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d126972..118ed44 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,6 +14,7 @@ jobs:
           - mathcomp/mathcomp:2.1.0-coq-8.16
           - mathcomp/mathcomp:2.1.0-coq-8.17
           - mathcomp/mathcomp:2.1.0-coq-8.18
+          - mathcomp/mathcomp:2.2.0-coq-8.19
           - mathcomp/mathcomp-dev:coq-8.16
           - mathcomp/mathcomp-dev:coq-8.17
           - mathcomp/mathcomp-dev:coq-8.18
diff --git a/coq-mathcomp-multinomials.opam b/coq-mathcomp-multinomials.opam
index 8d1643f..b50c7cc 100644
--- a/coq-mathcomp-multinomials.opam
+++ b/coq-mathcomp-multinomials.opam
@@ -9,12 +9,12 @@ build: [
   [ "dune" "build" "-p" name "-j" jobs ]
 ]
 depends: [
-  "coq"                    {(>= "8.16" & < "8.19~") | = "dev"}
+  "coq"                    {(>= "8.16" & < "8.20~") | = "dev"}
   "dune"                   {>= "3.8"}
-  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.2~") | = "dev"}
+  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.3~") | = "dev"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}
-  "coq-mathcomp-finmap"    {(>= "2.0" & < "2.1~") | = "dev"}
+  "coq-mathcomp-finmap"    {(>= "2.0" & < "2.2~") | = "dev"}
 ]
 tags: [
   "keyword:multinomials"