From 1c7cb291435f013695df8db4e6808c56768d4f4d Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Thu, 7 Sep 2023 13:07:24 +0200 Subject: [PATCH] Adapt to https://github.com/math-comp/hierarchy-builder/pull/384 --- .../coq-hierarchy-builder/coq-hierarchy-builder.dev/opam | 2 +- 1 file changed, 1 insertion(+), 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 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} ]