Merge pull request #3636 from 4ever2/wasm-9.1

coq-wasm.2.2.0 is compatible with Coq 9.1

Author: silene

released/packages/coq-wasm/coq-wasm.2.2.0/opam

@@ -11,7 +11,7 @@ homepage: "https://github.com/WasmCert/WasmCert-Coq"
 bug-reports: "https://github.com/WasmCert/WasmCert-Coq/issues"
 depends: [
   "dune" {>= "3.11"}
-  "coq" {>= "8.20" & < "9.1~"}
+  "coq" {>= "8.20" & < "9.2~"}
   "coq-compcert" {>= "3.14"}
   "coq-ext-lib" {>= "0.11.8"}
   "coq-mathcomp-ssreflect" {>= "2.4.0" & <= "2.5~"}