[CI merge] PR #3432: Fix https://github.com/rocq-prover/opam/pull/3430#discussion_r2084271576

Bot merge 7f33ff8f and 0e8cd23e

[CI merge] PR #3432: Fix https://github.com/rocq-prover/opam/pull/3430#discussion_r2084271576
f1f5df64 · coqbot · 7f33ff8f · 0e8cd23e · f1f5df64
Commit f1f5df64 authored 1 week ago by coqbot
--- a/released/packages/coq-extructures/coq-extructures.0.5.0/opam
+++ b/released/packages/coq-extructures/coq-extructures.0.5.0/opam
@@ -14,7 +14,7 @@ install: [
 ]
 depends: [
  "coq" {(>= "8.17" & < "9.1~")}
-  "coq-mathcomp-ssreflect" {(>= "2.0.0") & (< "2.4~")}
+  "coq-mathcomp-ssreflect" {(>= "2.0.0") & (< "2.5~")}
  "coq-deriving" {(>= "0.2.0")}
 ]
 tags: [