diff --git a/packages/functoria-runtime/functoria-runtime.4.0.0/opam b/packages/functoria-runtime/functoria-runtime.4.0.0/opam
index 8c00e994..a4cc9b19 100644
--- a/packages/functoria-runtime/functoria-runtime.4.0.0/opam
+++ b/packages/functoria-runtime/functoria-runtime.4.0.0/opam
@@ -35,7 +35,7 @@ how to apply them in order to produce a complete application.
 The main use case is mirage. See the [mirage](https://github.com/mirage/mirage)
 repository for details.
 """
-dev-repo: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+dev-repo: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 url {
-  src: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+  src: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 }
diff --git a/packages/functoria/functoria.4.0.0/opam b/packages/functoria/functoria.4.0.0/opam
index 76c733e0..cc530c7a 100644
--- a/packages/functoria/functoria.4.0.0/opam
+++ b/packages/functoria/functoria.4.0.0/opam
@@ -38,7 +38,7 @@ how to apply them in order to produce a complete application.
 The main use case is mirage. See the [mirage](https://github.com/mirage/mirage)
 repository for details.
 """
-dev-repo: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+dev-repo: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 url {
-  src: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+  src: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 }
diff --git a/packages/mirage-runtime/mirage-runtime.4.0.0/opam b/packages/mirage-runtime/mirage-runtime.4.0.0/opam
index 7fff96e9..74ee563b 100644
--- a/packages/mirage-runtime/mirage-runtime.4.0.0/opam
+++ b/packages/mirage-runtime/mirage-runtime.4.0.0/opam
@@ -31,7 +31,7 @@ A bundle of useful runtime functions for applications built with MirageOS
 """
 name: "mirage-runtime"
 version: "4.0.0"
-dev-repo: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+dev-repo: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 url {
-  src: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+  src: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 }
diff --git a/packages/mirage/mirage.4.0.0/opam b/packages/mirage/mirage.4.0.0/opam
index 7661e042..ed57024d 100644
--- a/packages/mirage/mirage.4.0.0/opam
+++ b/packages/mirage/mirage.4.0.0/opam
@@ -43,5 +43,5 @@ Amazon EC2 or Rackspace, this lets your servers run more cheaply,
 securely and with finer control than with a full software stack.
 """
 url {
-  src: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+  src: "git+https://github.com/mirage/mirage.git#2a90381f0f02cac00f44b50eed02dc11258c4090"
 }
diff --git a/packages/ocaml-freestanding/ocaml-freestanding.0.7.0/opam b/packages/ocaml-freestanding/ocaml-freestanding.0.7.0/opam
index b4c5cc12..1ae92e4f 100644
--- a/packages/ocaml-freestanding/ocaml-freestanding.0.7.0/opam
+++ b/packages/ocaml-freestanding/ocaml-freestanding.0.7.0/opam
@@ -35,5 +35,5 @@ description:
   "This package provides a freestanding OCaml cross-compiler, suitable for linking with a unikernel base layer."
 version: "0.7.0"
 url {
-  src: "git+https://github.com/TheLortex/ocaml-freestanding.git#9ba5d880d4d6a4b01a552082a51c7761c03e813c"
+  src: "git+https://github.com/TheLortex/ocaml-freestanding.git#16477f6710a0a2ae4c8b1b0fb0988e8b73fed9d3"
 }
diff --git a/packages/solo5/solo5.0.7.0/opam b/packages/solo5/solo5.0.7.0/opam
deleted file mode 100644
index 0d79cd67..00000000
--- a/packages/solo5/solo5.0.7.0/opam
+++ /dev/null
@@ -1,51 +0,0 @@
-
-opam-version: "2.0"
-maintainer: "martin@lucina.net"
-authors: [
-  "Dan Williams <djwillia@us.ibm.com>"
-  "Martin Lucina <martin@lucina.net>"
-  "Ricardo Koller <kollerr@us.ibm.com>"
-]
-homepage: "https://github.com/solo5/solo5"
-bug-reports: "https://github.com/solo5/solo5/issues"
-license: "ISC"
-dev-repo: "git+https://github.com/mato/solo5.git#new-toolchain"
-build: [
-  ["./configure.sh" "--prefix=%{prefix}%"]
-  [make "V=1"]
-]
-install: [make "V=1" "install"]
-depends: [
-  "conf-pkg-config" {build & os = "linux"}
-  "conf-libseccomp" {build & os = "linux"}
-]
-depexts: [
-  ["linux-headers"] {os-distribution = "alpine"}
-  ["kernel-headers"] {os-distribution = "fedora"}
-  ["kernel-headers"] {os-distribution = "rhel"}
-  ["linux-libc-dev"] {os-family = "debian"}
-]
-conflicts: [
-  "ocaml-freestanding" {< "0.7.0"}
-  "solo5-bindings-hvt"
-  "solo5-bindings-spt"
-  "solo5-bindings-virtio"
-  "solo5-bindings-muen"
-  "solo5-bindings-xen"
-]
-available: [
-  (arch = "x86_64" | arch = "arm64" | arch = "ppc64") &
-  (os = "linux" | os = "freebsd" | os = "openbsd")
-]
-synopsis: "Solo5 sandboxed execution environment"
-description: """
-Solo5 is a sandboxed execution environment primarily intended
-for, but not limited to, running applications built using various
-unikernels (a.k.a.  library operating systems).
-
-This package provides the Solo5 components needed to build and
-run MirageOS unikernels on the host system.
-"""
-url {
-  src: "git+https://github.com/TheLortex/solo5.git#77db27433ccd5b1ec13735e8ef1c92e141969a5c"
-}