diff --git a/packages/mirage-unikernel-dns-resolver-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-resolver-hvt.0.0.2/opam
index 0b98db5..c3ed5a7 100644
--- a/packages/mirage-unikernel-dns-resolver-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-dns-resolver-hvt.0.0.2/opam
@@ -39,6 +39,7 @@ depends: [
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
   "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"
@@ -53,7 +54,7 @@ x-mirage-extra-repo: [
 ["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]]
 
 x-opam-monorepo-opam-provided: ["mirage"
-"ocaml""ocaml-solo5"
-"opam-monorepo"]
+"ocaml""ocaml-solo5""opam-monorepo"
+"solo5"]
 
 url { src: "git+https://git.robur.io/robur/dns-resolver.git" }
diff --git a/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.2/opam
index 0070c7a..b159d49 100644
--- a/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.2/opam
@@ -42,6 +42,7 @@ depends: [
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
   "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"
@@ -56,7 +57,7 @@ x-mirage-extra-repo: [
 ["mirage-overlays" "https://github.com/dune-universe/mirage-opam-overlays.git"]]
 
 x-opam-monorepo-opam-provided: ["mirage"
-"ocaml""ocaml-solo5"
-"opam-monorepo"]
+"ocaml""ocaml-solo5""opam-monorepo"
+"solo5"]
 
 url { src: "git+https://git.robur.io/robur/dns-resolver.git#future" }
diff --git a/packages/mirage-unikernel-dns-secondary-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-secondary-hvt.0.0.2/opam
index 16f6170..a0a9cd3 100644
--- a/packages/mirage-unikernel-dns-secondary-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-dns-secondary-hvt.0.0.2/opam
@@ -38,7 +38,7 @@ depends: [
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
   "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"
@@ -54,6 +54,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/roburio/dns-secondary.git" }
diff --git a/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam
index 3b791e9..5f590e7 100644
--- a/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam
@@ -41,7 +41,7 @@ depends: [
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
   "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"
@@ -57,6 +57,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/roburio/dns-secondary.git" }
diff --git a/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam b/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam
index 5a27129..1103cdd 100644
--- a/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam
@@ -46,6 +46,7 @@ depends: [
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
   "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"
@@ -61,6 +62,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/roburio/dnsvizor.git" }
diff --git a/packages/mirage-unikernel-hello-hvt.0.0.2/opam b/packages/mirage-unikernel-hello-hvt.0.0.2/opam
index fa2425d..a876087 100644
--- a/packages/mirage-unikernel-hello-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-hello-hvt.0.0.2/opam
@@ -29,6 +29,7 @@ depends: [
   "ocaml" { build & >= "4.08.0" }
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "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"
@@ -44,6 +45,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/mirage/mirage-skeleton.git" }
diff --git a/packages/mirage-unikernel-nqsbio-hvt.0.0.3/opam b/packages/mirage-unikernel-nqsbio-hvt.0.0.3/opam
index b7f1d87..2b13dfe 100644
--- a/packages/mirage-unikernel-nqsbio-hvt.0.0.3/opam
+++ b/packages/mirage-unikernel-nqsbio-hvt.0.0.3/opam
@@ -42,6 +42,7 @@ depends: [
   "opam-monorepo" { build & >= "0.3.2" }
   "tcpip" { ?monorepo & >= "3.7.1" & >= "7.0.0" & < "9.0.0" }
   "tyxml" { ?monorepo }
+  "solo5" { build & >= "0.7.5" & < "0.8.0" }
 ]
 
 x-mirage-opam-lock-location: "mirage/nqsbio-hvt.opam.locked"
@@ -57,6 +58,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/mirleft/nqsb.io.git#future" }
diff --git a/packages/mirage-unikernel-static-website-hvt.0.0.2/opam b/packages/mirage-unikernel-static-website-hvt.0.0.2/opam
index a7317d4..198773d 100644
--- a/packages/mirage-unikernel-static-website-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-static-website-hvt.0.0.2/opam
@@ -41,6 +41,7 @@ depends: [
   "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
   "tls-mirage" { ?monorepo & >= "0.13.0" & < "0.17.0" }
   "uri" { ?monorepo }
+  "solo5" { build & >= "0.7.5" & < "0.8.0" }
 ]
 
 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"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/mirage/mirage-skeleton.git" }
diff --git a/packages/mirage-unikernel-tlstunnel-hvt.0.0.2/opam b/packages/mirage-unikernel-tlstunnel-hvt.0.0.2/opam
index 33f6d76..356b242 100644
--- a/packages/mirage-unikernel-tlstunnel-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-tlstunnel-hvt.0.0.2/opam
@@ -39,6 +39,7 @@ depends: [
   "opam-monorepo" { build & >= "0.3.2" }
   "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.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"
@@ -54,6 +55,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/roburio/tlstunnel.git" }
diff --git a/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.2/opam
index 1c50fe3..eddf192 100644
--- a/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.2/opam
@@ -42,6 +42,7 @@ depends: [
   "opam-monorepo" { build & >= "0.3.2" }
   "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.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"
@@ -57,6 +58,6 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage"
 "ocaml""ocaml-solo5"
-"opam-monorepo"]
+"opam-monorepo""solo5"]
 
 url { src: "git+https://github.com/roburio/tlstunnel.git" }
diff --git a/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam b/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam
index 1b14a5e..80029de 100644
--- a/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam
@@ -36,6 +36,7 @@ depends: [
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
   "tcpip" { ?monorepo & >= "7.0.0" }
+  "solo5" { build & >= "0.7.5" & < "0.8.0" }
 ]
 
 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"]]
 
 x-opam-monorepo-opam-provided: ["mirage"
-"ocaml""ocaml-solo5"
-"opam-monorepo"]
+"ocaml""ocaml-solo5""opam-monorepo"
+"solo5"]
 
 url { src: "git+https://github.com/roburio/traceroute.git" }