From 719fd338eb7dbfc19c917f5f1f2911cfd642636b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Mon, 1 May 2023 18:30:19 +0200 Subject: [PATCH 1/2] upgrade solo5-tenders to 0.8.0 --- .../files/packaging/FreeBSD/MANIFEST | 2 +- .../files/packaging/FreeBSD/create_package.sh | 0 .../files/packaging/debian/changelog | 2 +- .../files/packaging/debian/control | 2 +- .../files/packaging/debian/copyright | 0 .../files/packaging/debian/create_package.sh | 0 .../opam | 17 +++++++++-------- 7 files changed, 12 insertions(+), 11 deletions(-) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/files/packaging/FreeBSD/MANIFEST (94%) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/files/packaging/FreeBSD/create_package.sh (100%) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/files/packaging/debian/changelog (58%) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/files/packaging/debian/control (98%) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/files/packaging/debian/copyright (100%) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/files/packaging/debian/create_package.sh (100%) rename packages/{solo5-tenders.0.7.5 => solo5-tenders.0.8.0}/opam (56%) diff --git a/packages/solo5-tenders.0.7.5/files/packaging/FreeBSD/MANIFEST b/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST similarity index 94% rename from packages/solo5-tenders.0.7.5/files/packaging/FreeBSD/MANIFEST rename to packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST index e4ce0ef..4bbb34c 100644 --- a/packages/solo5-tenders.0.7.5/files/packaging/FreeBSD/MANIFEST +++ b/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST @@ -1,5 +1,5 @@ name: solo5 -version: 0.7.5 +version: 0.8.0 origin: local/solo5 comment: Solo5 tenders www: https://github.com/Solo5/solo5 diff --git a/packages/solo5-tenders.0.7.5/files/packaging/FreeBSD/create_package.sh b/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/create_package.sh similarity index 100% rename from packages/solo5-tenders.0.7.5/files/packaging/FreeBSD/create_package.sh rename to packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/create_package.sh diff --git a/packages/solo5-tenders.0.7.5/files/packaging/debian/changelog b/packages/solo5-tenders.0.8.0/files/packaging/debian/changelog similarity index 58% rename from packages/solo5-tenders.0.7.5/files/packaging/debian/changelog rename to packages/solo5-tenders.0.8.0/files/packaging/debian/changelog index 3cbd82d..cf515f8 100644 --- a/packages/solo5-tenders.0.7.5/files/packaging/debian/changelog +++ b/packages/solo5-tenders.0.8.0/files/packaging/debian/changelog @@ -1,4 +1,4 @@ -solo5 (0.7.5) unstable; urgency=medium +solo5 (0.8.0) unstable; urgency=medium * Initial release diff --git a/packages/solo5-tenders.0.7.5/files/packaging/debian/control b/packages/solo5-tenders.0.8.0/files/packaging/debian/control similarity index 98% rename from packages/solo5-tenders.0.7.5/files/packaging/debian/control rename to packages/solo5-tenders.0.8.0/files/packaging/debian/control index 5e2ffc6..0e62fe7 100644 --- a/packages/solo5-tenders.0.7.5/files/packaging/debian/control +++ b/packages/solo5-tenders.0.8.0/files/packaging/debian/control @@ -1,5 +1,5 @@ Package: solo5 -Version: 0.7.5 +Version: 0.8.0 Section: unknown Priority: optional Maintainer: Robur Team diff --git a/packages/solo5-tenders.0.7.5/files/packaging/debian/copyright b/packages/solo5-tenders.0.8.0/files/packaging/debian/copyright similarity index 100% rename from packages/solo5-tenders.0.7.5/files/packaging/debian/copyright rename to packages/solo5-tenders.0.8.0/files/packaging/debian/copyright diff --git a/packages/solo5-tenders.0.7.5/files/packaging/debian/create_package.sh b/packages/solo5-tenders.0.8.0/files/packaging/debian/create_package.sh similarity index 100% rename from packages/solo5-tenders.0.7.5/files/packaging/debian/create_package.sh rename to packages/solo5-tenders.0.8.0/files/packaging/debian/create_package.sh diff --git a/packages/solo5-tenders.0.7.5/opam b/packages/solo5-tenders.0.8.0/opam similarity index 56% rename from packages/solo5-tenders.0.7.5/opam rename to packages/solo5-tenders.0.8.0/opam index 1ed92da..188d412 100644 --- a/packages/solo5-tenders.0.7.5/opam +++ b/packages/solo5-tenders.0.8.0/opam @@ -41,6 +41,7 @@ available: [ (arch = "x86_64" | arch = "arm64" | arch = "ppc64") & (os = "linux" | os = "freebsd" | os = "openbsd") ] +x-ci-accept-failures: [ "centos-7" ] synopsis: "Solo5 sandboxed execution environment" description: """ Solo5 is a sandboxed execution environment primarily intended @@ -51,14 +52,14 @@ This package provides the Solo5 components needed to run MirageOS unikernels on the host system. """ url { - src: "https://github.com/Solo5/solo5/releases/download/v0.7.5/solo5-v0.7.5.tar.gz" - checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79" + src: "https://github.com/Solo5/solo5/releases/download/v0.8.0/solo5-v0.8.0.tar.gz" + checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b" } extra-files: [ - ["packaging/FreeBSD/MANIFEST" "sha512=41189e6c9b2e9882c0326faf30c16f1929093b970b1d6042c370a90bc0cd707ae49dd52a110a22ddba7a12d488dd9bb06a630facd2866e32a173e06b93e6a7cd"] - ["packaging/FreeBSD/create_package.sh" "sha512=3c3c3b5d82fbd2651b9701f42a010c0a8a25f7b9dd0c134bc1f254a45d5d6b2589140f25af2a2ea87af2b5973a89e351d3a15e597026b850c110022f49a78f7d"] - ["packaging/debian/changelog" "sha512=0860d1a9f834c28554461a7eb25ded55f206c9c1979119b950baded5e0bc2172e8df74b81fc18e12122320a8a1b589710de8b3f2bcc3464a9b2d24596f7dec98"] - ["packaging/debian/control" "sha512=3cc9a0487fb822ee5038bcb8eb98dcc7716d278be4e1a0aa0faf5d1aba911fa4c9399bff8d5bd28252db5a2cc4361c1b088e20c7ed6a4f14a222a09bfdfbca89"] - ["packaging/debian/copyright" "sha512=722fe8f14e03d015dec7bced1b3cca619e0aee2d9e067e298281052956b24aa41ed95f9c1917205a37097261d5ae3707c8053bad8aea144f0220ff50c02b9625"] - ["packaging/debian/create_package.sh" "sha512=383c4dde2ee85ad9357bcec3053a91326b9e091cd4cfb15c8c163af6c9d8b0759fcce21f9e7278b3444f7733886f468f59cec82322864f42b6ea7010e543bc3d"] + ["packaging/FreeBSD/MANIFEST"] + ["packaging/FreeBSD/create_package.sh"] + ["packaging/debian/changelog"] + ["packaging/debian/control"] + ["packaging/debian/copyright"] + ["packaging/debian/create_package.sh"] ] From f382aaed32b6cb34ad25ef59575b487e139b8f0c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 30 May 2024 09:16:32 +0200 Subject: [PATCH 2/2] upgrade to 0.8.1 --- .../files/packaging/FreeBSD/MANIFEST | 2 +- .../files/packaging/FreeBSD/create_package.sh | 0 .../files/packaging/debian/changelog | 2 +- .../files/packaging/debian/control | 2 +- .../files/packaging/debian/copyright | 0 .../files/packaging/debian/create_package.sh | 0 packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/opam | 4 ++-- 7 files changed, 5 insertions(+), 5 deletions(-) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/files/packaging/FreeBSD/MANIFEST (94%) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/files/packaging/FreeBSD/create_package.sh (100%) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/files/packaging/debian/changelog (58%) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/files/packaging/debian/control (98%) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/files/packaging/debian/copyright (100%) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/files/packaging/debian/create_package.sh (100%) rename packages/{solo5-tenders.0.8.0 => solo5-tenders.0.8.1}/opam (89%) diff --git a/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST b/packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/MANIFEST similarity index 94% rename from packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST rename to packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/MANIFEST index 4bbb34c..13e6ad8 100644 --- a/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST +++ b/packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/MANIFEST @@ -1,5 +1,5 @@ name: solo5 -version: 0.8.0 +version: 0.8.1 origin: local/solo5 comment: Solo5 tenders www: https://github.com/Solo5/solo5 diff --git a/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/create_package.sh b/packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/create_package.sh similarity index 100% rename from packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/create_package.sh rename to packages/solo5-tenders.0.8.1/files/packaging/FreeBSD/create_package.sh diff --git a/packages/solo5-tenders.0.8.0/files/packaging/debian/changelog b/packages/solo5-tenders.0.8.1/files/packaging/debian/changelog similarity index 58% rename from packages/solo5-tenders.0.8.0/files/packaging/debian/changelog rename to packages/solo5-tenders.0.8.1/files/packaging/debian/changelog index cf515f8..c413a82 100644 --- a/packages/solo5-tenders.0.8.0/files/packaging/debian/changelog +++ b/packages/solo5-tenders.0.8.1/files/packaging/debian/changelog @@ -1,4 +1,4 @@ -solo5 (0.8.0) unstable; urgency=medium +solo5 (0.8.1) unstable; urgency=medium * Initial release diff --git a/packages/solo5-tenders.0.8.0/files/packaging/debian/control b/packages/solo5-tenders.0.8.1/files/packaging/debian/control similarity index 98% rename from packages/solo5-tenders.0.8.0/files/packaging/debian/control rename to packages/solo5-tenders.0.8.1/files/packaging/debian/control index 0e62fe7..a654073 100644 --- a/packages/solo5-tenders.0.8.0/files/packaging/debian/control +++ b/packages/solo5-tenders.0.8.1/files/packaging/debian/control @@ -1,5 +1,5 @@ Package: solo5 -Version: 0.8.0 +Version: 0.8.1 Section: unknown Priority: optional Maintainer: Robur Team diff --git a/packages/solo5-tenders.0.8.0/files/packaging/debian/copyright b/packages/solo5-tenders.0.8.1/files/packaging/debian/copyright similarity index 100% rename from packages/solo5-tenders.0.8.0/files/packaging/debian/copyright rename to packages/solo5-tenders.0.8.1/files/packaging/debian/copyright diff --git a/packages/solo5-tenders.0.8.0/files/packaging/debian/create_package.sh b/packages/solo5-tenders.0.8.1/files/packaging/debian/create_package.sh similarity index 100% rename from packages/solo5-tenders.0.8.0/files/packaging/debian/create_package.sh rename to packages/solo5-tenders.0.8.1/files/packaging/debian/create_package.sh diff --git a/packages/solo5-tenders.0.8.0/opam b/packages/solo5-tenders.0.8.1/opam similarity index 89% rename from packages/solo5-tenders.0.8.0/opam rename to packages/solo5-tenders.0.8.1/opam index 188d412..f5e6727 100644 --- a/packages/solo5-tenders.0.8.0/opam +++ b/packages/solo5-tenders.0.8.1/opam @@ -52,8 +52,8 @@ This package provides the Solo5 components needed to run MirageOS unikernels on the host system. """ url { - src: "https://github.com/Solo5/solo5/releases/download/v0.8.0/solo5-v0.8.0.tar.gz" - checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b" + src: "https://github.com/Solo5/solo5/releases/download/v0.8.1/solo5-v0.8.1.tar.gz" + checksum: "sha512=83d7f1e1a9a9b99029d692c03bf7d61e23945f00e6af074556fe877117c1bdaffbc4e2faf993ace96ab123e82db22bd33c60129878d4a3b4c70406aa937048c9" } extra-files: [ ["packaging/FreeBSD/MANIFEST"]