Elpi 1.12 + Coq-Elpi 1.7.0

Author: gares

coq-hierarchy-builder.opam

@@ -10,7 +10,7 @@ dev-repo: "git+https://github.com/math-comp/hierarchy-builder"
 
 build: [ make ]
 install: [ make "install" "VFILES=structures.v" ]
-depends: [ "coq-elpi" {> "1.5.99" & < "1.7.0~"} ]
+depends: [ "coq-elpi" {>= "1.7.0" & < "1.8.0~"} ]
 synopsis: "Hierarchy Builder"
 description: """
 High level commands to declare and evolve a hierarchy based on packed classes.