From 3fa4d0268b7dd30402aa4451f5e91246c80afdbf Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Sun, 2 Jan 2022 16:52:26 +0100 Subject: [PATCH 1/3] Delete released version of solo5.0.7.0 --- packages/solo5/solo5.0.7.0/opam | 51 --------------------------------- 1 file changed, 51 deletions(-) delete mode 100644 packages/solo5/solo5.0.7.0/opam 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 " - "Martin Lucina " - "Ricardo Koller " -] -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" -} From 1a8ceb0d22731848f03f4269764fac51fb851a72 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Sun, 2 Jan 2022 16:57:58 +0100 Subject: [PATCH 2/3] Update mirage.4.0.0 & co with the their last version --- packages/functoria-runtime/functoria-runtime.4.0.0/opam | 4 ++-- packages/functoria/functoria.4.0.0/opam | 4 ++-- packages/mirage-runtime/mirage-runtime.4.0.0/opam | 4 ++-- packages/mirage/mirage.4.0.0/opam | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) 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" } From 89274e37339eaa17b7d428d5d5283b8a2a4b318b Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Sun, 2 Jan 2022 17:04:53 +0100 Subject: [PATCH 3/3] Update ocaml-freestanding with its last version --- packages/ocaml-freestanding/ocaml-freestanding.0.7.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" }