Merge pull request #553 from proux01/fix-opam

Fix OPAM file

Author: proux01

rocq-hierarchy-builder.opam

@@ -13,8 +13,8 @@ build: [ [ make "build"]
        ]
 install: [ make "install" ]
 depends: [
-  ("coq" {>= "8.20" & < "8.21~"} & "coq-elpi" {>= "2.4" | = "dev"}
-  | "rocq-core" {(>= "9.0" & < "9.1~") | = "dev"} & "rocq-elpi" {>= "2.4" | = "dev"})
+  ("coq" {>= "8.20" & < "8.21~"} & "coq-elpi" {>= "3" | = "dev"}
+  | "rocq-core" {(>= "9.0" & < "9.1~") | = "dev"} & "rocq-elpi" {>= "3" | = "dev"})
 ]
 conflicts: [
   "coq-hierarchy-builder" {< "1.9~"}