From 39e89dbba0a75b7442f47af15a96009a53e95820 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@inria.fr>
Date: Wed, 20 Mar 2024 22:24:19 +0100
Subject: [PATCH] Mark compatible with MC 2.2 & Coq 8.19

---
 .github/workflows/ci.yml | 4 ++++
 coq-mathcomp-word.opam   | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 31e3d46..f24f5db 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,10 +8,14 @@ jobs:
         image:
         -  mathcomp/mathcomp:2.0.0-coq-8.16
         -  mathcomp/mathcomp:2.1.0-coq-8.16
+        -  mathcomp/mathcomp:2.2.0-coq-8.16
         -  mathcomp/mathcomp:2.0.0-coq-8.17
         -  mathcomp/mathcomp:2.1.0-coq-8.17
+        -  mathcomp/mathcomp:2.2.0-coq-8.17
         -  mathcomp/mathcomp:2.0.0-coq-8.18
         -  mathcomp/mathcomp:2.1.0-coq-8.18
+        -  mathcomp/mathcomp:2.2.0-coq-8.18
+        -  mathcomp/mathcomp:2.2.0-coq-8.19
       fail-fast: false
     steps:
     - uses: actions/checkout@v4
diff --git a/coq-mathcomp-word.opam b/coq-mathcomp-word.opam
index f38e072..847c664 100644
--- a/coq-mathcomp-word.opam
+++ b/coq-mathcomp-word.opam
@@ -10,7 +10,7 @@ build: [ "dune" "build" "-p" name "-j" jobs ]
 depends: [
   "dune" {>= "2.8"}
   "coq" {>= "8.16"}
-  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.2~")}
+  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.3~")}
   "coq-mathcomp-algebra"
 ]
 synopsis: "Yet Another Coq Library on Machine Words"