unikernel-repo/packages/solo5-tenders.0.7.3/files/packaging/debian/changelog

solo5 (0.7.3) unstable; urgency=medium

  * Initial release

 -- Robur team <team@robur.coop>
Add solo5-tenders package (#2) Solo5-tenders.0.7.3 is the same as solo5.0.7.3 with only the tenders and solo5-elftool. Solo5-tenders opam file conflicts with solo5 as they provide the same binaries. The OS packages are named solo5 and conflict with solo5-hvt. Reviewed-on: https://git.robur.io/robur/unikernel-repo/pulls/2 Co-authored-by: Reynir Björnsson <reynir@reynir.dk> Co-committed-by: Reynir Björnsson <reynir@reynir.dk> 2022-10-25 13:11:51 +00:00			`solo5 (0.7.3) unstable; urgency=medium`

			`* Initial release`

			`-- Robur team <team@robur.coop>`