Merge pull request #3635 from 4ever2/parseque-9.1

coq-parseque.0.2.2 is compatible with Coq 9.1

Author: silene

released/packages/coq-parseque/coq-parseque.0.2.2/opam

@@ -14,7 +14,7 @@ install: [
   [make "install"]
 ]
 depends: [
-  "coq" {>= "8.16" & < "9.1"}
+  "coq" {>= "8.16" & < "9.2"}
 ]
 
 tags: [