Update packages/vscoq-language-server/vscoq-language-server.2.2.6/opam

Co-authored-by: Enrico Tassi <[email protected]>

Author: vscoqbot

packages/vscoq-language-server/vscoq-language-server.2.2.6/opam

@@ -12,8 +12,8 @@ build: [
 depends: [
   "ocaml" { >= "4.14" }
   "dune" { >= "3.5" }
-  "coq-core" { ((>= "8.18" < "8.21") | (= "dev")) }
-  "coq-stdlib" { ((>= "8.18" < "8.21") | (= "dev")) }
+  "coq-core" { ((>= "8.18" < "9.1") | (= "dev")) }
+  "coq-stdlib" { ((>= "8.18" < "9.1") | (= "dev")) }
   "yojson"
   "jsonrpc" { >= "1.15"}
   "ocamlfind"