Merge pull request #28446 from jmid/boltzgen-ocaml-bound

Add an ocaml upper bound to boltzgen 0.9, 0.9.2, 0.9.3

Author: mseri

packages/boltzgen/boltzgen.0.9.2/opam

@@ -9,9 +9,10 @@ homepage: "https://git.lacl.fr/barbot/boltzgen"
 bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
 depends: [
   "dune" {>= "2.7"}
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.08.0" & < "5.2.0"}
+  "ocaml" {< "4.13.0" & with-test}
   "ocaml-compiler-libs"
-  "cmdliner" {< "2.0.0"}
+  "cmdliner" {>= "1.0.0" & < "2.0.0"}
   "base-unix"
   "odoc" {with-doc}
 ]

packages/boltzgen/boltzgen.0.9.3/opam

@@ -9,7 +9,8 @@ homepage: "https://git.lacl.fr/barbot/boltzgen"
 bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
 depends: [
   "dune" {>= "2.7"}
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "4.08.0" & < "5.2.0"}
+  "ocaml" {< "5.0.0" & with-test}
   "ocaml-compiler-libs"
   "cmdliner" {>= "1.0.0" & < "2.0.0"}
   "base-unix"
@@ -37,4 +38,4 @@ url {
     "md5=8f8e5588602654ab7aa492910e4a9fd4"
     "sha512=99c54502e2ca783b69ba4846a83b75f1e07cfb243cb83f98e9ee1cf39859d0ada844d79939e48719d7ba584bb6785b761339b173349d5ebf21db5ee091ba89e0"
   ]
-}
+}

packages/boltzgen/boltzgen.0.9/opam

@@ -9,9 +9,9 @@ homepage: "https://git.lacl.fr/barbot/boltzgen"
 bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
 depends: [
   "dune" {>= "2.6"}
-  "ocaml" {>= "4.08.1"}
+  "ocaml" {>= "4.08.1" & < "5.2.0"}
   "ocaml-compiler-libs"
-  "cmdliner" {< "2.0.0"}
+  "cmdliner" {>= "1.0.0" & < "2.0.0"}
 ]
 build: [
   ["dune" "subst"] {dev}
@@ -27,6 +27,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
 url {
   src:
     "https://git.lacl.fr/barbot/boltzgen/-/archive/release0.9/boltzgen-release0.9.tar.gz"