Update coq-elpi.opam

Author: gares

coq-elpi.opam

@@ -19,7 +19,7 @@ depends: [
   "ocaml" {>= "4.10.0"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.21.0"}
-  "coq" {>= "8.20.0" & < "8.21"}
+  "coq" {>= "8.20" & < "8.21"}
   "ppx_optcomp"
   "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}