fix opam

math-comp · Sep 20, 2023 · 6020e05 · 6020e05
1 parent 889758b
commit 6020e05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: """