Skip to content

Commit 1451371

Browse files
mserimseri
authored
Merge pull request #24506 from emillon/dune311-ctypes01-removal
Add bounds for removed dune ctypes 0.1 extension
2 parents 7ab2217 + 2938421 commit 1451371

File tree

41 files changed

+41
-41
lines changed
  • packages
    • colibrics
    • colibrilib
    • flint
    • monocypher/monocypher.0.1.0
    • octez-alcotezt/octez-alcotezt.17.3
    • octez-bls12-381-hash/octez-bls12-381-hash.17.3
    • octez-bls12-381-polynomial/octez-bls12-381-polynomial.17.3
    • octez-bls12-381-signature/octez-bls12-381-signature.17.3
    • octez-distributed-internal/octez-distributed-internal.17.3
    • octez-mec/octez-mec.17.3
    • octez-polynomial/octez-polynomial.17.3
    • tezos-hacl
    • tezos-lwt-result-stdlib
      • tezos-lwt-result-stdlib.15.0
      • tezos-lwt-result-stdlib.15.1
      • tezos-lwt-result-stdlib.16.0
      • tezos-lwt-result-stdlib.16.1
      • tezos-lwt-result-stdlib.17.3
    • tezos-stdlib
      • tezos-stdlib.15.0
      • tezos-stdlib.15.1
      • tezos-stdlib.16.0
      • tezos-stdlib.16.1
      • tezos-stdlib.17.3
    • tezos-test-helpers
      • tezos-test-helpers.15.0
      • tezos-test-helpers.15.1
      • tezos-test-helpers.16.0
      • tezos-test-helpers.16.1
      • tezos-test-helpers.17.3
    • tezos-wasmer
      • tezos-wasmer.16.0
      • tezos-wasmer.16.1
      • tezos-wasmer.17.3
    • tezt-performance-regression
      • tezt-performance-regression.17.1
      • tezt-performance-regression.17.2
      • tezt-performance-regression.17.3

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+41
-41
lines changed

‎packages/colibrics/colibrics.0.3.3/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ depends: [
1111
"dolmen" {>= "0.7" & < "0.8" }
1212
"dolmen_type" {>= "0.7" & < "0.8" }
1313
"dolmen_loop" {>= "0.7" & < "0.8" }
14-
"dune" {>= "3.0"}
14+
"dune" {>= "3.0" & < "3.11"}
1515
"zarith" {>= "1.12"}
1616
"cmdliner" {>= "1.1.1"}
1717
"ocaml" {>= "4.08" & < "5.0" }

‎packages/colibrics/colibrics.0.4/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ depends: [
1111
"dolmen" {>= "0.8" & < "0.9" }
1212
"dolmen_type" {>= "0.8" & < "0.9" }
1313
"dolmen_loop" {>= "0.8" & < "0.9" }
14-
"dune" {>= "3.0"}
14+
"dune" {>= "3.0" & < "3.11"}
1515
"zarith" {>= "1.12"}
1616
"cmdliner" {>= "1.1.1"}
1717
"ocaml" {>= "4.08"}

‎packages/colibrilib/colibrilib.0.3.3/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ homepage: "https://colibri.frama-c.com"
77
bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
88
license: "LGPL-2.1"
99
depends: [
10-
"dune" {>= "3.0"}
10+
"dune" {>= "3.0" & < "3.11"}
1111
"zarith" {>= "1.12"}
1212
"ocaml" {>= "4.12"}
1313
"odoc" {with-doc}

‎packages/colibrilib/colibrilib.0.4/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ license: "LGPL-2.1-only"
77
homepage: "https://colibri.frama-c.com"
88
bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
99
depends: [
10-
"dune" {>= "3.0"}
10+
"dune" {>= "3.0" & < "3.11"}
1111
"zarith" {>= "1.12"}
1212
"ocaml" {>= "4.12"}
1313
"odoc" {with-doc}

‎packages/flint/flint.0.1.5/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ license: "LGPL-2.1"
66
homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
9-
"dune" {>= "3.2"}
9+
"dune" {>= "3.2" & < "3.11"}
1010
"zarith" {>= "1.12"}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}

‎packages/flint/flint.0.2.3/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ license: "LGPL-2.1-only"
66
homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
9-
"dune" {>= "3.2"}
9+
"dune" {>= "3.2" & < "3.11"}
1010
"zarith" {>= "1.12"}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}

‎packages/flint/flint.0.3/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ license: "LGPL-2.1-only"
66
homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
9-
"dune" {>= "3.2"}
9+
"dune" {>= "3.2" & < "3.11"}
1010
"zarith" {>= "1.12"}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}

‎packages/monocypher/monocypher.0.1.0/opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ license: "CC0-1.0"
1111
homepage: "https://inqlab.net/git/ocaml-monocypher.git"
1212
bug-reports: "mailto:[email protected]"
1313
depends: [
14-
"dune" {>= "3.2"}
14+
"dune" {>= "3.2" & < "3.11"}
1515
"ocaml" {>= "4.08.0"}
1616
"ctypes" {>= "0.13.0"}
1717
"alcotest" {with-test}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues"
66
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
77
license: "MIT"
88
depends: [
9-
"dune" { >= "3.0" }
9+
"dune" {>= "3.0" & < "3.11"}
1010
"ocaml" { >= "4.14" & < "5.0" }
1111
"tezt" { >= "3.1.0" }
1212
]

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues"
66
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
77
license: "MIT"
88
depends: [
9-
"dune" { >= "3.0" }
9+
"dune" {>= "3.0" & < "3.11"}
1010
"ocaml" { >= "4.14" & < "5.0" }
1111
"bls12-381" { >= "6.1.0" & < "6.2.0" }
1212
"bisect_ppx" { >= "2.7.0" }

0 commit comments

Comments
 (0)