diff --git a/released/packages/coq-extructures/coq-extructures.0.5.0/opam b/released/packages/coq-extructures/coq-extructures.0.5.0/opam index 4c24a2dd044094ff406bdf764f5667d7cfa5f218..a92fb178deb197c616f9615b5b88da07a0fa5f12 100644 --- 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: [