Merge pull request #3533 from liyishuai/patch-4

Coq-JSON 0.1.1 incompatible with ExtLib >= 0.12

Author: silene

released/packages/coq-ext-lib/coq-ext-lib.0.11.5/opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/coq-community/coq-ext-lib"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
 depends: [
   "ocaml"
-  "coq" {>= "8.8"}
+  "coq" {>= "8.8" < "8.16"}
 ]
 build: [make "-j%{jobs}%" "theories"]
 run-test: [make "-j%{jobs}%" "examples"]
@@ -22,4 +22,4 @@ url {
     "md5=054577e702e9cf596f37aa28b0b0394c"
     "sha512=84b79097c9ad6823024a0af875c07389accb597337527f905f067c7fa39a7c170239edb68d2a45b102714b6f6860cc7a7f937340824a688df19b4c35aa2e075c"
   ]
-}
+}

released/packages/coq-ext-lib/coq-ext-lib.0.11.6/opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/coq-community/coq-ext-lib"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
 depends: [
   "ocaml"
-  "coq" {>= "8.8"}
+  "coq" {>= "8.8" < "8.15"}
 ]
 build: [make "-j%{jobs}%" "theories"]
 run-test: [make "-j%{jobs}%" "examples"]
@@ -22,4 +22,4 @@ url {
     "md5=442577afb6ff3a02043478690057cc21"
     "sha512=5e429e291439885c57ad537d2bf644345973740e29cff42e4045367f9f1e22a406b15e17af415e8d301eb0caf179495a506ea04c1ce39f94875366a49aa2db80"
   ]
-}
+}

released/packages/coq-ext-lib/coq-ext-lib.0.11.7/opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/coq-community/coq-ext-lib"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
 depends: [
   "ocaml"
-  "coq" {>= "8.9" & (< "8.10" | >= "8.11")}
+  "coq" {(>= "8.9" & < "8.10") | (>= "8.11" & < "8.18")}
 ]
 build: [make "-j%{jobs}%" "theories"]
 run-test: [make "-j%{jobs}%" "examples"]
@@ -22,4 +22,4 @@ url {
     "md5=a71175b8e2b9c005d4e333a25ace42ba"
     "sha512=686ebc200fd4130c622dd707ca5175328ac5a145db2e280401168e564a5cc767356a60979dc949d845fec4934975576a0ea9e31f746954e91970280565212ba2"
   ]
-}
+}

released/packages/coq-ext-lib/coq-ext-lib.0.11.8/opam

@@ -10,7 +10,7 @@ homepage: "https://github.com/coq-community/coq-ext-lib"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
 depends: [
   "ocaml"
-  "coq" {>= "8.9" & (< "8.10" | >= "8.11")}
+  "coq" {(>= "8.9" & < "8.10") | (>= "8.11" & < "8.18")}
 ]
 build: [make "-j%{jobs}%" "theories"]
 run-test: [make "-j%{jobs}%" "examples"]
@@ -23,4 +23,4 @@ url {
     "md5=5f5baefeb5f89f2185e132d8166d1725"
     "sha512=83521bcaa561485d483b3bc0957f3591f96e2c367841cdbfc3ec0b2cf9c75fd2866c98c9e0c2541f89ca1fdaefda654a8a37d7c974ab464234ff7b4f77a5e6e8"
   ]
-}
+}

released/packages/coq-json/coq-json.0.1.1/opam

@@ -15,6 +15,7 @@ homepage: "https://github.com/liyishuai/coq-json"
 bug-reports: "https://github.com/liyishuai/coq-json/issues"
 depends: [
   "coq" {>= "8.12~"}
+  "coq-ext-lib" {< "0.12"}
   "coq-parsec" {>= "0.1.1"}
   "menhir" {>= "20220210"}
   "coq-menhirlib" {>= "20220210"}
@@ -29,4 +30,4 @@ url {
     "md5=6f5ff5b364192b63dbf1b33970ec3dfe"
     "sha512=9398190d689c41ed7b74b83fde19b95dca8a2e23aa53eb5c9705a2d505a52c2d291d1f7e80d0d24b762db182ab82dd575ead727d6c47ca92b7d3f376e199342a"
   ]
-}
+}