Merge pull request #2705 from proux01/hb_drop_815

Adapt to math-comp/hierarchy-builder#384
coq · Sep 7, 2023 · 6ec9dd9 · 6ec9dd9
2 parents 85ea021 + 1c7cb29
commit 6ec9dd9
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -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}
 ]