Mark compatible with MC 2.4

vbgl · vbgl · commit feac3507e324 · 2026-02-21T06:37:58.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,9 +20,10 @@ jobs:
         -  mathcomp/mathcomp:2.3.0-coq-8.19
         -  mathcomp/mathcomp:2.2.0-coq-8.20
         -  mathcomp/mathcomp:2.3.0-coq-8.20
+        -  mathcomp/mathcomp:2.4.0-coq-8.20
       fail-fast: false
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
     - uses: rocq-community/docker-coq-action@v1
       with:
         custom_image: ${{ matrix.image }}
diff --git 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.4~")}
+  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.5~")}
   "coq-mathcomp-algebra"
 ]
 synopsis: "Yet Another Coq Library on Machine Words"

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ build: [ "dune" "build" "-p" name "-j" jobs ]`
`10`	`10`	`depends: [`
`11`	`11`	`"dune" {>= "2.8"}`
`12`	`12`	`"coq" {>= "8.16"}`
`13`		`- "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~")}`
	`13`	`+ "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.5~")}`
`14`	`14`	`"coq-mathcomp-algebra"`
`15`	`15`	`]`
`16`	`16`	`synopsis: "Yet Another Coq Library on Machine Words"`