diff --git a/packages/dnsvizor.0.0.1~dev/opam b/packages/dnsvizor.0.0.1~dev/opam
new file mode 100644
index 0000000..362a0eb
--- /dev/null
+++ b/packages/dnsvizor.0.0.1~dev/opam
@@ -0,0 +1,32 @@
+opam-version: "2.0"
+synopsis:     "Library implementing DNSvizor things"
+name:         "miragevpn"
+homepage:     "https://github.com/robur-coop/dnsvizor"
+dev-repo:     "git+https://github.com/robur-coop/dnsvizor.git"
+bug-reports:  "https://github.com/robur-coop/dnsvizor/issues"
+doc:          "https://github.com/robur-coop/dnsvizor/doc"
+author:       ["robur"]
+maintainer:   ["robur"]
+license:      "BSD-2-Clause"
+
+build: [
+  ["dune" "subst" ] {dev}
+  ["dune" "build"   "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+
+depends: [
+  "dune" {>= "2.9"}
+  "ocaml" {>= "4.14.0"}
+  "odoc" {with-doc}
+
+  "angstrom" { >= "0.14.0" }
+  "fmt" {>= "0.9.0"}
+  "ipaddr" {>= "5.6.0"}
+  "cmdliner" {>= "1.2.0"}
+
+  "alcotest" {with-test}
+]
+url {
+  src: "git+https://github.com/robur-coop/dnsvizor.git"
+}
diff --git a/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam b/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam
index 95e1aab..d371748 100644
--- a/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-dnsvizor-hvt.0.0.2/opam
@@ -1,4 +1,4 @@
-# Generated by mirage.v4.8.0
+# Generated by mirage.v4.8.1
 
 opam-version: "2.0"
 maintainer: "dummy"
@@ -8,12 +8,12 @@ bug-reports: "dummy"
 dev-repo: "git://dummy"
 synopsis: "A DNS resolver and DHCP server MirageOS unikernel"
 
-build: [make "build"]
+build: [make "-Cmirage/" "build"]
 
 install: [
-  [ "cp" "dist/dnsvizor.hvt" "%{bin}%/dnsvizor.hvt" ]
+  [ "cp" "mirage/dist/dnsvizor.hvt" "%{bin}%/dnsvizor.hvt" ]
   [ "strip" "%{bin}%/dnsvizor.hvt" ]
-  [ "cp" "dist/dnsvizor.hvt" "%{prefix}%/dnsvizor.hvt.debug" ]
+  [ "cp" "mirage/dist/dnsvizor.hvt" "%{prefix}%/dnsvizor.hvt.debug" ]
   [ "cp" "README.md" "%{prefix}%/README.md" ]
 ]
 
@@ -21,6 +21,7 @@ depends: [
   "arp" { ?monorepo & >= "3.0.0" }
   "charrua" { ?monorepo }
   "charrua-server" { ?monorepo }
+  "cmdliner-stdlib" { ?monorepo & >= "1.0.1" & < "2.0.0" }
   "dns" { ?monorepo }
   "dns-client" { ?monorepo }
   "dns-mirage" { ?monorepo }
@@ -28,31 +29,32 @@ depends: [
   "dns-server" { ?monorepo }
   "dns-stub" { ?monorepo }
   "dns-tsig" { ?monorepo }
+  "dnsvizor" { ?monorepo }
   "duration" { ?monorepo & < "1.0.0" }
   "ethernet" { ?monorepo & >= "3.0.0" }
   "logs" { ?monorepo }
   "lwt" { ?monorepo }
   "metrics" { ?monorepo }
-  "mirage" { build & >= "4.8.0" & < "4.9.0" }
+  "mirage" { build & >= "4.8.1" & < "4.9.0" }
   "mirage-bootvar" { ?monorepo & >= "1.0.0" & < "2.0.0" }
   "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
   "mirage-crypto-rng-mirage" { ?monorepo & >= "1.0.0" & < "2.0.0" }
   "mirage-logs" { ?monorepo & >= "2.0.0" & < "3.0.0" }
   "mirage-net-solo5" { ?monorepo & >= "0.8.0" & < "0.9.0" }
-  "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.0" & < "4.9.0" }
+  "mirage-runtime" { ?monorepo & >= "4.5.0" & >= "4.8.1" & < "4.9.0" }
   "mirage-solo5" { ?monorepo & >= "0.9.0" & < "0.10.0" }
   "mirage-time" { ?monorepo }
   "ocaml-solo5" { build & >= "0.8.2" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
-  "solo5" { build & >= "0.7.5" & < "0.9.0" }
+  "solo5" { build & >= "0.7.5" & < "0.10.0" }
   "tcpip" { ?monorepo & >= "7.0.0" }
 ]
 
-x-mirage-opam-lock-location: "mirage/dnsvizor-hvt.opam.locked"
+x-mirage-opam-lock-location: "mirage/mirage/dnsvizor-hvt.opam.locked"
 
-x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --context ./mirage/context --no-extra-repo"]
+x-mirage-configure: ["sh" "-exc" "cd mirage/ && mirage configure -t hvt --context ./mirage/context --no-extra-repo"]
 
-x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"]
+x-mirage-pre-build: [make "-Cmirage/" "lock" "depext-lockfile" "pull"]
 
 x-mirage-extra-repo: [
 ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]
@@ -61,4 +63,4 @@ x-mirage-extra-repo: [
 
 x-opam-monorepo-opam-provided: ["mirage" "ocaml-solo5" "opam-monorepo" "solo5"]
 
-url { src: "git+https://github.com/robur-coop/dnsvizor.git" }
+url { src: "git+https://github.com/robur-coop/dnsvizor.git#main" }