Update released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflec…

…t.2.3.0/opam
coq · Nov 29, 2024 · b2bc2ec · b2bc2ec
1 parent 4b99dc5
commit b2bc2ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.3.0/opam b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.3.0/opam
@@ -12,7 +12,7 @@ depends: [
   "coq" {(>= "8.18" & < "8.21~") | (= "dev")}
   # Please keep the "dev" above as it is required for the coq-dev Docker images
   "elpi" {>= "1.17.0"}
-  "coq-hierarchy-builder" { >= "1.5.0"}
+  "coq-hierarchy-builder" { >= "1.7.0"}
 ]
 
 tags: [