Add bounds for removed dune ctypes 0.1 extension

The ctypes extension in Dune is documented as experimental (and has
version 0.x) so is not subject to the same compatibility as the rest of
Dune.

Dune 3.11.0 removed versions 0.1 and 0.2 of this extension, so packages
using it need to build with `dune < 3.11`.

Affected packages need to migrate to version 0.3. This should be just a
matter of changing the version of the extension in `dune-project`, but:
- it requires `(lang dune 3.7)`
- if C code refers to local include paths, these are now relative to the
  where the stanza is located. This avoids the need to specify paths
  twice. See ocaml/dune#6883.

Author: emillon

packages/colibrics/colibrics.0.3.3/opam

@@ -11,7 +11,7 @@ depends: [
   "dolmen" {>= "0.7" & < "0.8" }
   "dolmen_type" {>= "0.7" & < "0.8" }
   "dolmen_loop" {>= "0.7" & < "0.8" }
-  "dune" {>= "3.0"}
+  "dune" {>= "3.0" & < "3.11"}
   "zarith" {>= "1.12"}
   "cmdliner" {>= "1.1.1"}
   "ocaml" {>= "4.08" & < "5.0" }

packages/colibrics/colibrics.0.4/opam

@@ -11,7 +11,7 @@ depends: [
   "dolmen" {>= "0.8" & < "0.9" }
   "dolmen_type" {>= "0.8" & < "0.9" }
   "dolmen_loop" {>= "0.8" & < "0.9" }
-  "dune" {>= "3.0"}
+  "dune" {>= "3.0" & < "3.11"}
   "zarith" {>= "1.12"}
   "cmdliner" {>= "1.1.1"}
   "ocaml" {>= "4.08"}

packages/colibrilib/colibrilib.0.3.3/opam

@@ -7,7 +7,7 @@ homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 license: "LGPL-2.1"
 depends: [
-  "dune" {>= "3.0"}
+  "dune" {>= "3.0" & < "3.11"}
   "zarith" {>= "1.12"}
   "ocaml" {>= "4.12"}
   "odoc" {with-doc}

packages/colibrilib/colibrilib.0.4/opam

@@ -7,7 +7,7 @@ license: "LGPL-2.1-only"
 homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
-  "dune" {>= "3.0"}
+  "dune" {>= "3.0" & < "3.11"}
   "zarith" {>= "1.12"}
   "ocaml" {>= "4.12"}
   "odoc" {with-doc}

packages/flint/flint.0.1.5/opam

@@ -6,7 +6,7 @@ license: "LGPL-2.1"
 homepage: "https://github.com/bobot/ocaml-flint"
 bug-reports: "https://github.com/bobot/ocaml-flint/issues"
 depends: [
-  "dune" {>= "3.2"}
+  "dune" {>= "3.2" & < "3.11"}
   "zarith" {>= "1.12"}
   "ctypes" {>= "0.20.1"}
   "conf-mpfr" {>= "3"}

packages/flint/flint.0.2.3/opam

@@ -6,7 +6,7 @@ license: "LGPL-2.1-only"
 homepage: "https://github.com/bobot/ocaml-flint"
 bug-reports: "https://github.com/bobot/ocaml-flint/issues"
 depends: [
-  "dune" {>= "3.2"}
+  "dune" {>= "3.2" & < "3.11"}
   "zarith" {>= "1.12"}
   "ctypes" {>= "0.20.1"}
   "conf-mpfr" {>= "3"}

packages/flint/flint.0.3/opam

@@ -6,7 +6,7 @@ license: "LGPL-2.1-only"
 homepage: "https://github.com/bobot/ocaml-flint"
 bug-reports: "https://github.com/bobot/ocaml-flint/issues"
 depends: [
-  "dune" {>= "3.2"}
+  "dune" {>= "3.2" & < "3.11"}
   "zarith" {>= "1.12"}
   "ctypes" {>= "0.20.1"}
   "conf-mpfr" {>= "3"}

packages/monocypher/monocypher.0.1.0/opam

@@ -11,7 +11,7 @@ license: "CC0-1.0"
 homepage: "https://inqlab.net/git/ocaml-monocypher.git"
 bug-reports: "mailto:[email protected]"
 depends: [
-  "dune" {>= "3.2"}
+  "dune" {>= "3.2" & < "3.11"}
   "ocaml" {>= "4.08.0"}
   "ctypes" {>= "0.13.0"}
   "alcotest" {with-test}

packages/octez-alcotezt/octez-alcotezt.17.3/opam

@@ -6,7 +6,7 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues"
 dev-repo: "git+https://gitlab.com/tezos/tezos.git"
 license: "MIT"
 depends: [
-  "dune" { >= "3.0" }
+  "dune" {>= "3.0" & < "3.11"}
   "ocaml" { >= "4.14" & < "5.0" }
   "tezt" { >= "3.1.0" }
 ]

packages/octez-bls12-381-hash/octez-bls12-381-hash.17.3/opam

@@ -6,7 +6,7 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues"
 dev-repo: "git+https://gitlab.com/tezos/tezos.git"
 license: "MIT"
 depends: [
-  "dune" { >= "3.0" }
+  "dune" {>= "3.0" & < "3.11"}
   "ocaml" { >= "4.14" & < "5.0" }
   "bls12-381" { >= "6.1.0" & < "6.2.0" }
   "bisect_ppx" { >= "2.7.0" }