Merge pull request #888 from LPCIC/fix-opam

bump elpi dep

Author: gares

rocq-elpi.opam

@@ -17,7 +17,7 @@ bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
-  "elpi" {>= "3.0.1" & < "3.2.0~"}
+  "elpi" {>= "3.0.1" & < "3.5.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
   | "rocq-core" {>= "9.0+rc1" & < "9.2~"})
   "ppx_optcomp"