From d08f891d5f4ffc5c59f7b70cd121d549d9332f73 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 16 Jan 2025 08:46:13 +0100
Subject: [PATCH] fir HB deps

---
 .../coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam
index b6853d514..4a8b2161e 100644
--- a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam
+++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.8.0/opam
@@ -13,7 +13,7 @@ tags: "logpath:HB"
 homepage: "https://github.com/math-comp/hierarchy-builder"
 bug-reports: "https://github.com/math-comp/hierarchy-builder/issues"
 depends: [
-  "coq-elpi" {(>= "2.0") | = "dev"}
+  "coq-elpi" {(>= "2.0" < "2.4") | = "dev"}
 ]
 conflicts: ["coq-hierarchy-builder-shim"]
 build: [
@@ -29,4 +29,4 @@ url {
     "md5=3635ba1739c95d2635a0822fb52e2fba"
     "sha512=f728bbc3c968b83802990d9dc4ff2a98af0a4c240b621cc420ebc60f9d0833817504f89df99d8fc166030c930ad032faf7007beda183c4c4d436d4cd7e27b3b5"
   ]
-}
\ No newline at end of file
+}