unikernel-repo/packages/solo5-tenders.0.8.0/files/packaging/FreeBSD/MANIFEST

name:         solo5
version:      0.8.0
origin:	      local/solo5
comment:      Solo5 tenders
www:	      https://github.com/Solo5/solo5
maintainer:   Robur <team@robur.coop>
prefix:	      /usr/local
licenselogic: single
licenses:     [ISC]
flatsize:     %%FLATSIZE%%
categories:   [local]
conflict:     solo5-hvt

desc = <<EOD
Solo5 sandboxed execution environment (all tenders)

EOD;
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			`name: solo5`
upgrade solo5-tenders to 0.8.0 2023-05-01 16:30:19 +00:00			`version: 0.8.0`
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			`origin: local/solo5`
			`comment: Solo5 tenders`
			`www: https://github.com/Solo5/solo5`
			`maintainer: Robur <team@robur.coop>`
			`prefix: /usr/local`
			`licenselogic: single`
			`licenses: [ISC]`
			`flatsize: %%FLATSIZE%%`
			`categories: [local]`
			`conflict: solo5-hvt`

			`desc = <<EOD`
			`Solo5 sandboxed execution environment (all tenders)`

			`EOD;`