From d66f9fa58e8137bbf0e3c3a2cbfcd84f278abb7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Mon, 19 Aug 2024 12:21:55 +0200 Subject: [PATCH] builder-web: update constraints from upstream There were some lower bounds that we were missing. Since we prefer newer packages it should not make a difference for reproducibility (inshallah) --- packages/builder-web.0.2.0~dev/opam | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/builder-web.0.2.0~dev/opam b/packages/builder-web.0.2.0~dev/opam index 6134beb..36c8d6a 100644 --- a/packages/builder-web.0.2.0~dev/opam +++ b/packages/builder-web.0.2.0~dev/opam @@ -45,13 +45,13 @@ depends: [ "cmdliner" {>= "1.1.0"} "uri" "fmt" {>= "0.8.7"} - "cmarkit" + "cmarkit" {>= "0.3.0"} "tar" {>= "3.0.0"} "tar-unix" {>= "3.0.0"} "owee" "solo5-elftool" {>= "0.3.0"} - "decompress" - "alcotest" {with-test} + "decompress" {>= "1.5.0"} + "alcotest" {>= "1.2.0" & with-test} "ppx_deriving" {with-test} "ppx_deriving_yojson" {with-test} ]