Merge pull request #698 from LPCIC/gares-patch-1

Update coq-elpi.opam

Author: gares

coq-elpi.opam

@@ -18,8 +18,8 @@ depends: [
   "dune" {>= "3.13"}
   "ocaml" {>= "4.10.0"}
   "stdlib-shims"
-  "elpi" {>= "1.18.2" & < "1.20.0~"}
-  "coq" {>= "8.20+rc1" & < "8.21~"}
+  "elpi" {>= "1.18.2" & < "1.21.0"}
+  "coq" {>= "8.20" & < "8.21"}
   "ppx_optcomp"
   "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}