diff --git a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam
index 604f29dd01..96fb8494b0 100644
--- a/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.0/opam
+++ b/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.1.7.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"}
+  "coq-elpi" {>= "2.0" & < "2.3.0"}
 ]
 conflicts: ["coq-hierarchy-builder-shim"]
 build: [