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 <team@robur.coop>
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"]
 ]