From 6020e05e3bc938c00b9ecf06a370066df4cbd555 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 20 Sep 2023 11:25:59 +0200
Subject: [PATCH] fix opam

---
 coq-hierarchy-builder.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-hierarchy-builder.opam b/coq-hierarchy-builder.opam
index f8f6f85e..501bd205 100644
--- a/coq-hierarchy-builder.opam
+++ b/coq-hierarchy-builder.opam
@@ -12,7 +12,7 @@ build: [ [ make "build"]
          [ make "test-suite" ] {with-test}
        ]
 install: [ make "install" ]
-depends: [ "coq-elpi" { (>= "1.15" & < "1.20~") | = "dev" } ]
+depends: [ "coq-elpi" { (>= "1.16" & < "1.20~") | = "dev" } ]
 conflicts: [ "coq-hierarchy-builder-shim" ]
 synopsis: "High level commands to declare and evolve a hierarchy based on packed classes"
 description: """