smtp unikernels: let's use solo5 0.7

This commit is contained in:
Hannes Mehnert 2024-02-27 19:16:07 +01:00
parent 5efddc2823
commit 1bfa766067
3 changed files with 3 additions and 3 deletions

View file

@ -47,7 +47,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"ptt" { ?monorepo } "ptt" { ?monorepo }
"randomconv" { ?monorepo } "randomconv" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" }
] ]

View file

@ -46,7 +46,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"ptt" { ?monorepo } "ptt" { ?monorepo }
"randomconv" { ?monorepo } "randomconv" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
] ]

View file

@ -50,7 +50,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"ptt" { ?monorepo } "ptt" { ?monorepo }
"randomconv" { ?monorepo } "randomconv" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.9.0" } "solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "9.0.0" }
] ]