bump constraint on elpi

Author: gares

dune-project

@@ -30,7 +30,7 @@
    "logpath:elpi"))
  (depends
   (ocaml (>= 4.10.0))
-  (elpi (and (>= 3.0) (< 3.1.0~)))
+  (elpi (and (>= 3.0) (< 3.2.0~)))
   ; (or (coq (and (>= 8.20+rc1) (< 8.21~)))
   ;     (rocq-core (and (>= 9.0+rc1) (< 9.2~))))
   ppx_optcomp