fix solo5 deps

This commit is contained in:
Hannes Mehnert 2023-06-02 20:50:14 +02:00
parent a0e9264c1e
commit a0c9cf9b80
11 changed files with 25 additions and 16 deletions

View file

@ -39,6 +39,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "mirage/resolver-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/resolver-hvt.opam.locked"
@ -53,7 +54,7 @@ x-mirage-extra-repo: [
["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]] ["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]]
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5""opam-monorepo"
"opam-monorepo"] "solo5"]
url { src: "git+https://git.robur.io/robur/dns-resolver.git" } url { src: "git+https://git.robur.io/robur/dns-resolver.git" }

View file

@ -42,6 +42,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "mirage/resolver-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/resolver-hvt.opam.locked"
@ -56,7 +57,7 @@ x-mirage-extra-repo: [
["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]] ["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]]
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5""opam-monorepo"
"opam-monorepo"] "solo5"]
url { src: "git+https://git.robur.io/robur/dns-resolver.git#future" } url { src: "git+https://git.robur.io/robur/dns-resolver.git#future" }

View file

@ -38,7 +38,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"solo5" { < "0.8.0"} "solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "mirage/secondary-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/secondary-hvt.opam.locked"
@ -54,6 +54,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/roburio/dns-secondary.git" } url { src: "git+https://github.com/roburio/dns-secondary.git" }

View file

@ -41,7 +41,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"solo5" { < "0.8.0"} "solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "mirage/secondary-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/secondary-hvt.opam.locked"
@ -57,6 +57,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/roburio/dns-secondary.git" } url { src: "git+https://github.com/roburio/dns-secondary.git" }

View file

@ -46,6 +46,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" } "tcpip" { ?monorepo & >= "7.0.0" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "dns-and-dhcp/mirage/dnsvizor-hvt.opam.locked" x-mirage-opam-lock-location: "dns-and-dhcp/mirage/dnsvizor-hvt.opam.locked"
@ -61,6 +62,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/roburio/dnsvizor.git" } url { src: "git+https://github.com/roburio/dnsvizor.git" }

View file

@ -29,6 +29,7 @@ depends: [
"ocaml" { build & >= "4.08.0" } "ocaml" { build & >= "4.08.0" }
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "tutorial/hello-key/mirage/hello-key-hvt.opam.locked" x-mirage-opam-lock-location: "tutorial/hello-key/mirage/hello-key-hvt.opam.locked"
@ -44,6 +45,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/mirage/mirage-skeleton.git" } url { src: "git+https://github.com/mirage/mirage-skeleton.git" }

View file

@ -42,6 +42,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "3.7.1" & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "3.7.1" & >= "7.0.0" & < "9.0.0" }
"tyxml" { ?monorepo } "tyxml" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "mirage/nqsbio-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/nqsbio-hvt.opam.locked"
@ -57,6 +58,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/mirleft/nqsb.io.git#future" } url { src: "git+https://github.com/mirleft/nqsb.io.git#future" }

View file

@ -41,6 +41,7 @@ depends: [
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"tls-mirage" { ?monorepo & >= "0.13.0" & < "0.17.0" } "tls-mirage" { ?monorepo & >= "0.13.0" & < "0.17.0" }
"uri" { ?monorepo } "uri" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "applications/static_website_tls/mirage/https-hvt.opam.locked" x-mirage-opam-lock-location: "applications/static_website_tls/mirage/https-hvt.opam.locked"
@ -56,6 +57,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/mirage/mirage-skeleton.git" } url { src: "git+https://github.com/mirage/mirage-skeleton.git" }

View file

@ -39,6 +39,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"tls-mirage" { ?monorepo & >= "0.14.0" } "tls-mirage" { ?monorepo & >= "0.14.0" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "unikernel/mirage/tlstunnel-hvt.opam.locked" x-mirage-opam-lock-location: "unikernel/mirage/tlstunnel-hvt.opam.locked"
@ -54,6 +55,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/roburio/tlstunnel.git" } url { src: "git+https://github.com/roburio/tlstunnel.git" }

View file

@ -42,6 +42,7 @@ depends: [
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" } "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
"tls-mirage" { ?monorepo & >= "0.14.0" } "tls-mirage" { ?monorepo & >= "0.14.0" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "unikernel/mirage/tlstunnel-hvt.opam.locked" x-mirage-opam-lock-location: "unikernel/mirage/tlstunnel-hvt.opam.locked"
@ -57,6 +58,6 @@ x-mirage-extra-repo: [
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo""solo5"]
url { src: "git+https://github.com/roburio/tlstunnel.git" } url { src: "git+https://github.com/roburio/tlstunnel.git" }

View file

@ -36,6 +36,7 @@ depends: [
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" } "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" } "opam-monorepo" { build & >= "0.3.2" }
"tcpip" { ?monorepo & >= "7.0.0" } "tcpip" { ?monorepo & >= "7.0.0" }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
] ]
x-mirage-opam-lock-location: "mirage/traceroute-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/traceroute-hvt.opam.locked"
@ -50,7 +51,7 @@ x-mirage-extra-repo: [
["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]] ["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]]
x-opam-monorepo-opam-provided: ["mirage" x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5""opam-monorepo"
"opam-monorepo"] "solo5"]
url { src: "git+https://github.com/roburio/traceroute.git" } url { src: "git+https://github.com/roburio/traceroute.git" }