diff --git a/extra-dev/packages/coq-hierarchy-builder/coq-hierarchy-builder.dev/opam b/extra-dev/packages/coq-hierarchy-builder/coq-hierarchy-builder.dev/opam
index c6e95f9ed..3fa4a9f9d 100644
--- a/extra-dev/packages/coq-hierarchy-builder/coq-hierarchy-builder.dev/opam
+++ b/extra-dev/packages/coq-hierarchy-builder/coq-hierarchy-builder.dev/opam
@@ -10,7 +10,7 @@ build: [ [ make "build"]
          [ make "test-suite" ] {with-test}
        ]
 install: [ make "install" ]
-depends: [ "coq-elpi" {>= "1.14"} "coq" {= "dev"} ]
+depends: [ "coq-elpi" {>= "1.15"} "coq" {= "dev"} ]
 depexts: [
   [ "wdiff" ] {os-family = "debian" & with-test}
 ]