robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions
The opam repository of our unikernels.
309 commits 2 branches 0 tags 708 KiB
Find a file
Reynir Björnsson e887cd761b 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
packages Add solo5-tenders package (#2) 2022-10-25 13:11:51 +00:00
repo initial 2020-11-24 22:35:06 +01:00