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)
This commit is contained in:
parent
e830765150
commit
d66f9fa58e
1 changed files with 3 additions and 3 deletions
|
@ -45,13 +45,13 @@ depends: [
|
||||||
"cmdliner" {>= "1.1.0"}
|
"cmdliner" {>= "1.1.0"}
|
||||||
"uri"
|
"uri"
|
||||||
"fmt" {>= "0.8.7"}
|
"fmt" {>= "0.8.7"}
|
||||||
"cmarkit"
|
"cmarkit" {>= "0.3.0"}
|
||||||
"tar" {>= "3.0.0"}
|
"tar" {>= "3.0.0"}
|
||||||
"tar-unix" {>= "3.0.0"}
|
"tar-unix" {>= "3.0.0"}
|
||||||
"owee"
|
"owee"
|
||||||
"solo5-elftool" {>= "0.3.0"}
|
"solo5-elftool" {>= "0.3.0"}
|
||||||
"decompress"
|
"decompress" {>= "1.5.0"}
|
||||||
"alcotest" {with-test}
|
"alcotest" {>= "1.2.0" & with-test}
|
||||||
"ppx_deriving" {with-test}
|
"ppx_deriving" {with-test}
|
||||||
"ppx_deriving_yojson" {with-test}
|
"ppx_deriving_yojson" {with-test}
|
||||||
]
|
]
|
||||||
|
|
Loading…
Reference in a new issue