From 18bccca8e7cf4b4bd752e2d25b95d5d8b2cbafdd Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Thu, 19 Dec 2024 23:07:37 +0900
Subject: [PATCH] fix

---
 released/packages/coq-infotheo/coq-infotheo.0.7.6/opam | 2 +-
 1 file changed, 1 insertion(+), 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
index 43cf54d47..4bf020638 100644
--- 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"}
 ]