fix

coq · Dec 19, 2024 · 18bccca · 18bccca
1 parent 971322d
commit 18bccca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-infotheo/coq-infotheo.0.7.6/opam b/released/packages/coq-infotheo/coq-infotheo.0.7.6/opam
@@ -25,7 +25,7 @@ depends: [
   "coq-mathcomp-field" { (>= "2.3.0") }
   "coq-mathcomp-analysis" { (>= "1.7.0") }
   "coq-mathcomp-reals-stdlib" { (>= "1.7.0") }
-  "coq-hierarchy-builder" { >= "1.5.0" }
+  "coq-hierarchy-builder" { (>= "1.5.0" & < "1.8.0") }
   "coq-mathcomp-algebra-tactics" { >= "1.2.0" }
   "coq-interval" { >= "4.10.0"}
 ]