From 5910f1431da7e9c878277c96c315b9d8bb717642 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 13 Dec 2024 22:17:59 +0100 Subject: [PATCH 1/4] fix constraints of the form "with-test >= Y" to "with-test & >= Y" fix constraints of the form "Y >= with-test" to ">= Y & with-test" --- packages/conjury/conjury.2.0.1/opam | 2 +- packages/conjury/conjury.2.1.1/opam | 2 +- packages/conjury/conjury.2.1/opam | 2 +- packages/gobba/gobba.0.4.1/opam | 2 +- packages/lsp/lsp.1.11.3/opam | 4 ++-- packages/lsp/lsp.1.11.4/opam | 4 ++-- packages/lsp/lsp.1.11.5/opam | 4 ++-- packages/lsp/lsp.1.11.6/opam | 4 ++-- packages/lsp/lsp.1.12.0/opam | 4 ++-- packages/lsp/lsp.1.12.1/opam | 2 +- packages/minicaml/minicaml.0.3.3/opam | 2 +- packages/pa_ppx/pa_ppx.0.09/opam | 2 +- packages/pratter/pratter.3.0.0/opam | 6 +++--- packages/tls-eio/tls-eio.1.0.0/opam | 6 +++--- packages/tls-eio/tls-eio.1.0.2/opam | 6 +++--- packages/tls-eio/tls-eio.1.0.4/opam | 6 +++--- 16 files changed, 29 insertions(+), 29 deletions(-) diff --git a/packages/conjury/conjury.2.0.1/opam b/packages/conjury/conjury.2.0.1/opam index 56f99998210..310657d5857 100644 --- a/packages/conjury/conjury.2.0.1/opam +++ b/packages/conjury/conjury.2.0.1/opam @@ -12,7 +12,7 @@ depends: [ "ocaml" { with-test & >= "4.04" } "ocamlfind" { with-test & >= "1.7.3" } "omake" { = "0.10.3" } - "ounit2" { with-test >= "2.2" } + "ounit2" { with-test & >= "2.2" } ] build: [ [ "omake" "--configure" ] diff --git a/packages/conjury/conjury.2.1.1/opam b/packages/conjury/conjury.2.1.1/opam index a8de089f7dd..75941fb8a34 100644 --- a/packages/conjury/conjury.2.1.1/opam +++ b/packages/conjury/conjury.2.1.1/opam @@ -11,7 +11,7 @@ depends: [ "ocaml" { >= "4.08" & < "5.0"} "ocamlfind" { >= "1.7.3"} "omake" { >= "0.10.3"} - "ounit2" { with-test >= "2.2"} + "ounit2" { with-test & >= "2.2"} ] build: [ ["omake" "--dotomake.omake" "--force-dotomake" "--configure" "build"] diff --git a/packages/conjury/conjury.2.1/opam b/packages/conjury/conjury.2.1/opam index 03b15c7555a..5defd9c962c 100644 --- a/packages/conjury/conjury.2.1/opam +++ b/packages/conjury/conjury.2.1/opam @@ -11,7 +11,7 @@ depends: [ "ocaml" { >= "4.08" & < "5.0"} "ocamlfind" { >= "1.7.3"} "omake" { = "0.10.3"} - "ounit2" { with-test >= "2.2"} + "ounit2" { with-test & >= "2.2"} ] build: [ ["omake" "--dotomake.omake" "--force-dotomake" "--configure" "build"] diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam index 2316ce20e6a..e0616d203c9 100644 --- a/packages/gobba/gobba.0.4.1/opam +++ b/packages/gobba/gobba.0.4.1/opam @@ -23,7 +23,7 @@ depends: [ "ppx_deriving" "cmdliner" "alcotest" {with-test & >= "0.8.5"} - "bisect_ppx" {with-test >= "1.4.1" & < "2.6.0"} + "bisect_ppx" {with-test & >= "1.4.1" & < "2.6.0"} ] url { src: diff --git a/packages/lsp/lsp.1.11.3/opam b/packages/lsp/lsp.1.11.3/opam index c7164bd8d42..7f12c538e81 100644 --- a/packages/lsp/lsp.1.11.3/opam +++ b/packages/lsp/lsp.1.11.3/opam @@ -28,8 +28,8 @@ depends: [ "yojson" "ppx_yojson_conv_lib" {>= "v0.14"} "cinaps" {with-test} - "menhir" {"20211230" >= with-test} - "ppx_expect" {"v0.14.0" >= with-test} + "menhir" {>= "20211230" & with-test} + "ppx_expect" {>= "v0.14.0" & with-test} "uutf" {>= "1.0.2"} "odoc" {with-doc} "ocaml" {>= "4.12"} diff --git a/packages/lsp/lsp.1.11.4/opam b/packages/lsp/lsp.1.11.4/opam index ca7bb16d411..343bd1a8314 100644 --- a/packages/lsp/lsp.1.11.4/opam +++ b/packages/lsp/lsp.1.11.4/opam @@ -28,8 +28,8 @@ depends: [ "yojson" "ppx_yojson_conv_lib" {>= "v0.14"} "cinaps" {with-test} - "menhir" {"20211230" >= with-test} - "ppx_expect" {"v0.14.0" >= with-test} + "menhir" {>= "20211230" & with-test} + "ppx_expect" {>= "v0.14.0" & with-test} "uutf" {>= "1.0.2"} "odoc" {with-doc} "ocaml" {>= "4.12"} diff --git a/packages/lsp/lsp.1.11.5/opam b/packages/lsp/lsp.1.11.5/opam index 3898281af45..fa6e2917ef4 100644 --- a/packages/lsp/lsp.1.11.5/opam +++ b/packages/lsp/lsp.1.11.5/opam @@ -28,8 +28,8 @@ depends: [ "yojson" "ppx_yojson_conv_lib" {>= "v0.14"} "cinaps" {with-test} - "menhir" {"20211230" >= with-test} - "ppx_expect" {"v0.14.0" >= with-test} + "menhir" {>= "20211230" & with-test} + "ppx_expect" {>= "v0.14.0" & with-test} "uutf" {>= "1.0.2"} "odoc" {with-doc} "ocaml" {>= "4.12"} diff --git a/packages/lsp/lsp.1.11.6/opam b/packages/lsp/lsp.1.11.6/opam index f59232cc607..1af44ef32f6 100644 --- a/packages/lsp/lsp.1.11.6/opam +++ b/packages/lsp/lsp.1.11.6/opam @@ -28,8 +28,8 @@ depends: [ "yojson" "ppx_yojson_conv_lib" {>= "v0.14"} "cinaps" {with-test} - "menhir" {"20211230" >= with-test} - "ppx_expect" {"v0.14.0" >= with-test} + "menhir" {>= "20211230" & with-test} + "ppx_expect" {>= "v0.14.0" & with-test} "uutf" {>= "1.0.2"} "odoc" {with-doc} "ocaml" {>= "4.12"} diff --git a/packages/lsp/lsp.1.12.0/opam b/packages/lsp/lsp.1.12.0/opam index 2fc445b30d0..3d25aa4933f 100644 --- a/packages/lsp/lsp.1.12.0/opam +++ b/packages/lsp/lsp.1.12.0/opam @@ -28,8 +28,8 @@ depends: [ "yojson" "ppx_yojson_conv_lib" {>= "v0.14"} "cinaps" {with-test} - "menhir" {"20211230" >= with-test} - "ppx_expect" {"v0.15.0" >= with-test} + "menhir" {>= "20211230" & with-test} + "ppx_expect" {>= "v0.15.0" & with-test} "uutf" {>= "1.0.2"} "odoc" {with-doc} "ocaml" {>= "4.12"} diff --git a/packages/lsp/lsp.1.12.1/opam b/packages/lsp/lsp.1.12.1/opam index 6cecb12ae70..d01cc98f339 100644 --- a/packages/lsp/lsp.1.12.1/opam +++ b/packages/lsp/lsp.1.12.1/opam @@ -29,7 +29,7 @@ depends: [ "ppx_yojson_conv_lib" {>= "v0.14"} "cinaps" {with-test} "menhir" {>= "20211230" & with-test} - "ppx_expect" {"v0.15.0" >= with-test} + "ppx_expect" {>= "v0.15.0" & with-test} "uutf" {>= "1.0.2"} "odoc" {with-doc} "ocaml" {>= "4.12"} diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam index e77c793470e..e914ef61ea3 100644 --- a/packages/minicaml/minicaml.0.3.3/opam +++ b/packages/minicaml/minicaml.0.3.3/opam @@ -21,7 +21,7 @@ depends: [ "ppx_deriving" "cmdliner" "alcotest" {with-test & >= "0.8.5" & < "1.0.0"} - "bisect_ppx" {with-test >= "1.4.1" & < "2.0.0"} + "bisect_ppx" {with-test & >= "1.4.1" & < "2.0.0"} ] url { src: diff --git a/packages/pa_ppx/pa_ppx.0.09/opam b/packages/pa_ppx/pa_ppx.0.09/opam index 42526b31cf6..afe2b147f98 100644 --- a/packages/pa_ppx/pa_ppx.0.09/opam +++ b/packages/pa_ppx/pa_ppx.0.09/opam @@ -47,7 +47,7 @@ depends: [ "bos" { >= "0.2.0" } "uint" { >= "2.0.1" } "ounit" -# "sexplib" { with-test >= "v0.14.0" } +# "sexplib" { with-test & >= "v0.14.0" } # "ppx_import" { with-test & >= "1.7.1" } # "ppx_deriving { with-test } # "ppx_deriving_yojson" { with-test & >= "3.5.2" } diff --git a/packages/pratter/pratter.3.0.0/opam b/packages/pratter/pratter.3.0.0/opam index ac0aae31f29..f5634e95756 100644 --- a/packages/pratter/pratter.3.0.0/opam +++ b/packages/pratter/pratter.3.0.0/opam @@ -17,9 +17,9 @@ depends: [ "ocaml" {>= "4.08"} "dune" {>= "2.7"} "camlp-streams" {>= "5.0" & < "6"} - "alcotest" {with-test >= "1.5.0" & < "2"} - "qcheck" {with-test >= "0.12"} - "qcheck-alcotest" {with-test >= "0.12"} + "alcotest" {with-test & >= "1.5.0" & < "2"} + "qcheck" {with-test & >= "0.12"} + "qcheck-alcotest" {with-test & >= "0.12"} "odoc" {with-doc} ] build: [ diff --git a/packages/tls-eio/tls-eio.1.0.0/opam b/packages/tls-eio/tls-eio.1.0.0/opam index d093b52b466..4201aba8278 100644 --- a/packages/tls-eio/tls-eio.1.0.0/opam +++ b/packages/tls-eio/tls-eio.1.0.0/opam @@ -20,10 +20,10 @@ depends: [ "mirage-crypto-rng" {>= "1.0.0"} "mirage-crypto-rng-eio" {with-test & >= "1.0.0"} "eio" {>= "0.12"} - "eio_main" {>= "0.12" with-test} + "eio_main" {>= "0.12" & with-test} "mdx" {with-test} - "crowbar" {>= "0.2.1" with-test} - "logs" {>= "0.7.0" with-test} + "crowbar" {>= "0.2.1" & with-test} + "logs" {>= "0.7.0" & with-test} "ptime" {>= "1.0.0"} ] tags: [ "org:mirage"] diff --git a/packages/tls-eio/tls-eio.1.0.2/opam b/packages/tls-eio/tls-eio.1.0.2/opam index 55987da93e2..ffea5f3cab8 100644 --- a/packages/tls-eio/tls-eio.1.0.2/opam +++ b/packages/tls-eio/tls-eio.1.0.2/opam @@ -20,10 +20,10 @@ depends: [ "mirage-crypto-rng" {>= "1.0.0"} "mirage-crypto-rng-eio" {with-test & >= "1.0.0"} "eio" {>= "0.12"} - "eio_main" {>= "0.12" with-test} + "eio_main" {>= "0.12" & with-test} "mdx" {with-test} - "crowbar" {>= "0.2.1" with-test} - "logs" {>= "0.7.0" with-test} + "crowbar" {>= "0.2.1" & with-test} + "logs" {>= "0.7.0" & with-test} "ptime" {>= "1.0.0"} ] tags: [ "org:mirage"] diff --git a/packages/tls-eio/tls-eio.1.0.4/opam b/packages/tls-eio/tls-eio.1.0.4/opam index 406c6056a9e..34e330d2ca2 100644 --- a/packages/tls-eio/tls-eio.1.0.4/opam +++ b/packages/tls-eio/tls-eio.1.0.4/opam @@ -20,10 +20,10 @@ depends: [ "mirage-crypto-rng" {>= "1.0.0"} "mirage-crypto-rng-eio" {with-test & >= "1.0.0"} "eio" {>= "0.12"} - "eio_main" {>= "0.12" with-test} + "eio_main" {>= "0.12" & with-test} "mdx" {with-test} - "crowbar" {>= "0.2.1" with-test} - "logs" {>= "0.7.0" with-test} + "crowbar" {>= "0.2.1" & with-test} + "logs" {>= "0.7.0" & with-test} "ptime" {>= "1.0.0"} ] tags: [ "org:mirage"] From a46aa3388bf212f8752113d2f6ef55fc29c1d6c4 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 13 Dec 2024 23:04:52 +0100 Subject: [PATCH 2/4] conjury / gobba / minicaml: require bisect-ppx/ounit2 as a hard dependency --- packages/conjury/conjury.2.1.1/opam | 2 +- packages/conjury/conjury.2.1/opam | 2 +- packages/gobba/gobba.0.4.1/opam | 2 +- packages/minicaml/minicaml.0.3.3/opam | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/packages/conjury/conjury.2.1.1/opam b/packages/conjury/conjury.2.1.1/opam index 75941fb8a34..f7b7d7faf9f 100644 --- a/packages/conjury/conjury.2.1.1/opam +++ b/packages/conjury/conjury.2.1.1/opam @@ -11,7 +11,7 @@ depends: [ "ocaml" { >= "4.08" & < "5.0"} "ocamlfind" { >= "1.7.3"} "omake" { >= "0.10.3"} - "ounit2" { with-test & >= "2.2"} + "ounit2" { >= "2.2"} ] build: [ ["omake" "--dotomake.omake" "--force-dotomake" "--configure" "build"] diff --git a/packages/conjury/conjury.2.1/opam b/packages/conjury/conjury.2.1/opam index 5defd9c962c..f95fe8ba91a 100644 --- a/packages/conjury/conjury.2.1/opam +++ b/packages/conjury/conjury.2.1/opam @@ -11,7 +11,7 @@ depends: [ "ocaml" { >= "4.08" & < "5.0"} "ocamlfind" { >= "1.7.3"} "omake" { = "0.10.3"} - "ounit2" { with-test & >= "2.2"} + "ounit2" { >= "2.2"} ] build: [ ["omake" "--dotomake.omake" "--force-dotomake" "--configure" "build"] diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam index e0616d203c9..410fbd99674 100644 --- a/packages/gobba/gobba.0.4.1/opam +++ b/packages/gobba/gobba.0.4.1/opam @@ -23,7 +23,7 @@ depends: [ "ppx_deriving" "cmdliner" "alcotest" {with-test & >= "0.8.5"} - "bisect_ppx" {with-test & >= "1.4.1" & < "2.6.0"} + "bisect_ppx" {>= "1.4.1" & < "2.6.0"} ] url { src: diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam index e914ef61ea3..c8f88941967 100644 --- a/packages/minicaml/minicaml.0.3.3/opam +++ b/packages/minicaml/minicaml.0.3.3/opam @@ -21,7 +21,7 @@ depends: [ "ppx_deriving" "cmdliner" "alcotest" {with-test & >= "0.8.5" & < "1.0.0"} - "bisect_ppx" {with-test & >= "1.4.1" & < "2.0.0"} + "bisect_ppx" {>= "1.4.1" & < "2.0.0"} ] url { src: From b35b81d7c2c197dde4f5fee7a34019a6585504db Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 16 Dec 2024 00:17:28 +0100 Subject: [PATCH 3/4] gobba and minicaml bounds --- packages/gobba/gobba.0.4.1/opam | 4 ++-- packages/minicaml/minicaml.0.3.3/opam | 5 +++-- packages/minicaml/minicaml.0.4/opam | 5 +++-- 3 files changed, 8 insertions(+), 6 deletions(-) diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam index 410fbd99674..d53296f00d6 100644 --- a/packages/gobba/gobba.0.4.1/opam +++ b/packages/gobba/gobba.0.4.1/opam @@ -19,9 +19,9 @@ depends: [ "ocaml" {>= "4.05.0"} "ANSITerminal" "ocamline" {>= "1.0" & < "1.2"} - "menhir" + "menhir" {>= "20180528"} "ppx_deriving" - "cmdliner" + "cmdliner" {>= "0.9.8"} "alcotest" {with-test & >= "0.8.5"} "bisect_ppx" {>= "1.4.1" & < "2.6.0"} ] diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam index c8f88941967..176fb21b986 100644 --- a/packages/minicaml/minicaml.0.3.3/opam +++ b/packages/minicaml/minicaml.0.3.3/opam @@ -17,9 +17,10 @@ depends: [ "dune" {>= "2.0"} "ocaml" {>= "4.05.0"} "ANSITerminal" - "menhir" + "menhir" {>= "20180528"} "ppx_deriving" - "cmdliner" + "cmdliner" {>= "0.9.8"} + "cmdliner" {with-test & < "1.1.0"} "alcotest" {with-test & >= "0.8.5" & < "1.0.0"} "bisect_ppx" {>= "1.4.1" & < "2.0.0"} ] diff --git a/packages/minicaml/minicaml.0.4/opam b/packages/minicaml/minicaml.0.4/opam index c61b54133f4..d2db3fed22b 100644 --- a/packages/minicaml/minicaml.0.4/opam +++ b/packages/minicaml/minicaml.0.4/opam @@ -18,9 +18,10 @@ depends: [ "ocaml" {>= "4.05.0"} "ANSITerminal" "ocamline" {>= "1.0" & < "1.2"} - "menhir" + "menhir" {>= "20180528"} "ppx_deriving" - "cmdliner" + "cmdliner" {>= "0.9.8"} + "cmdliner" {with-test & < "1.1.0"} "alcotest" {with-test & >= "0.8.5"} "bisect_ppx" {>= "1.4.1" & < "2.0.0"} ] From c46b46b5e97c823451ba9f5d1cfab5e85a364c7a Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Mon, 16 Dec 2024 09:50:54 +0100 Subject: [PATCH 4/4] fix dune lower bounds --- packages/gobba/gobba.0.4.1/opam | 2 +- packages/lsp/lsp.1.11.3/opam | 2 +- packages/lsp/lsp.1.11.4/opam | 2 +- packages/lsp/lsp.1.11.5/opam | 2 +- packages/lsp/lsp.1.11.6/opam | 2 +- packages/lsp/lsp.1.12.0/opam | 2 +- packages/lsp/lsp.1.12.1/opam | 2 +- packages/minicaml/minicaml.0.3.3/opam | 2 +- packages/minicaml/minicaml.0.4/opam | 2 +- packages/pratter/pratter.3.0.0/opam | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/packages/gobba/gobba.0.4.1/opam b/packages/gobba/gobba.0.4.1/opam index d53296f00d6..5e8c879ffb4 100644 --- a/packages/gobba/gobba.0.4.1/opam +++ b/packages/gobba/gobba.0.4.1/opam @@ -15,7 +15,7 @@ build: [ ] depends: [ - "dune" {>= "2.0"} + "dune" {>= "3.0"} "ocaml" {>= "4.05.0"} "ANSITerminal" "ocamline" {>= "1.0" & < "1.2"} diff --git a/packages/lsp/lsp.1.11.3/opam b/packages/lsp/lsp.1.11.3/opam index 7f12c538e81..c6ab448dea9 100644 --- a/packages/lsp/lsp.1.11.3/opam +++ b/packages/lsp/lsp.1.11.3/opam @@ -22,7 +22,7 @@ license: "ISC" homepage: "https://github.com/ocaml/ocaml-lsp" bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.0"} "jsonrpc" {= version} "dyn" "yojson" diff --git a/packages/lsp/lsp.1.11.4/opam b/packages/lsp/lsp.1.11.4/opam index 343bd1a8314..737556718fa 100644 --- a/packages/lsp/lsp.1.11.4/opam +++ b/packages/lsp/lsp.1.11.4/opam @@ -22,7 +22,7 @@ license: "ISC" homepage: "https://github.com/ocaml/ocaml-lsp" bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.0"} "jsonrpc" {= version} "dyn" "yojson" diff --git a/packages/lsp/lsp.1.11.5/opam b/packages/lsp/lsp.1.11.5/opam index fa6e2917ef4..bdf878a9890 100644 --- a/packages/lsp/lsp.1.11.5/opam +++ b/packages/lsp/lsp.1.11.5/opam @@ -22,7 +22,7 @@ license: "ISC" homepage: "https://github.com/ocaml/ocaml-lsp" bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.0"} "jsonrpc" {= version} "dyn" "yojson" diff --git a/packages/lsp/lsp.1.11.6/opam b/packages/lsp/lsp.1.11.6/opam index 1af44ef32f6..2b269e4c7a2 100644 --- a/packages/lsp/lsp.1.11.6/opam +++ b/packages/lsp/lsp.1.11.6/opam @@ -22,7 +22,7 @@ license: "ISC" homepage: "https://github.com/ocaml/ocaml-lsp" bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.0"} "jsonrpc" {= version} "dyn" "yojson" diff --git a/packages/lsp/lsp.1.12.0/opam b/packages/lsp/lsp.1.12.0/opam index 3d25aa4933f..cc0c2cf8961 100644 --- a/packages/lsp/lsp.1.12.0/opam +++ b/packages/lsp/lsp.1.12.0/opam @@ -22,7 +22,7 @@ license: "ISC" homepage: "https://github.com/ocaml/ocaml-lsp" bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.0"} "jsonrpc" {= version} "dyn" "yojson" diff --git a/packages/lsp/lsp.1.12.1/opam b/packages/lsp/lsp.1.12.1/opam index d01cc98f339..fb16e71353a 100644 --- a/packages/lsp/lsp.1.12.1/opam +++ b/packages/lsp/lsp.1.12.1/opam @@ -22,7 +22,7 @@ license: "ISC" homepage: "https://github.com/ocaml/ocaml-lsp" bug-reports: "https://github.com/ocaml/ocaml-lsp/issues" depends: [ - "dune" {>= "2.9"} + "dune" {>= "3.0"} "jsonrpc" {= version} "dyn" "yojson" diff --git a/packages/minicaml/minicaml.0.3.3/opam b/packages/minicaml/minicaml.0.3.3/opam index 176fb21b986..fd710b03479 100644 --- a/packages/minicaml/minicaml.0.3.3/opam +++ b/packages/minicaml/minicaml.0.3.3/opam @@ -14,7 +14,7 @@ build: [ [make "test" "-j" jobs] {with-test} ] depends: [ - "dune" {>= "2.0"} + "dune" {>= "3.0"} "ocaml" {>= "4.05.0"} "ANSITerminal" "menhir" {>= "20180528"} diff --git a/packages/minicaml/minicaml.0.4/opam b/packages/minicaml/minicaml.0.4/opam index d2db3fed22b..7c90641fbd1 100644 --- a/packages/minicaml/minicaml.0.4/opam +++ b/packages/minicaml/minicaml.0.4/opam @@ -14,7 +14,7 @@ build: [ [make "test" "-j" jobs] {with-test} ] depends: [ - "dune" {>= "2.0"} + "dune" {>= "3.0"} "ocaml" {>= "4.05.0"} "ANSITerminal" "ocamline" {>= "1.0" & < "1.2"} diff --git a/packages/pratter/pratter.3.0.0/opam b/packages/pratter/pratter.3.0.0/opam index f5634e95756..8aa14567989 100644 --- a/packages/pratter/pratter.3.0.0/opam +++ b/packages/pratter/pratter.3.0.0/opam @@ -15,7 +15,7 @@ homepage: "https://forge.tedomum.net/koizel/pratter" bug-reports: "https://github.com/gabrielhdt/pratter/issues" depends: [ "ocaml" {>= "4.08"} - "dune" {>= "2.7"} + "dune" {>= "3.0"} "camlp-streams" {>= "5.0" & < "6"} "alcotest" {with-test & >= "1.5.0" & < "2"} "qcheck" {with-test & >= "0.12"}