update opam

Author: gares

coq-hierarchy-builder.opam

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