Merge pull request #371 from mirage/delete-pin-depends

Delete released version of solo5.0.7.0
mirage · Jan 4, 2022 · d4f1bc7 · d4f1bc7
2 parents 38f1101 + 89274e3
commit d4f1bc7
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 59 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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