NOVA
|
Move packaging of Genode core repositories here
|
2020-01-22 13:02:43 +01:00 |
bender
|
Pin Bender revision
|
2020-01-24 14:46:51 +01:00 |
dhall
|
Update dhall-genode
|
2020-01-24 14:46:51 +01:00 |
genode
|
Update Genode revision
|
2020-01-29 19:38:55 +01:00 |
libc
|
Relicense as CC0-1.0
|
2020-01-24 14:46:41 +01:00 |
nic_bus
|
Relicense as CC0-1.0
|
2020-01-24 14:46:41 +01:00 |
solo5
|
Fix solo5 package inputs
|
2020-01-28 00:18:05 +01:00 |
sotest-producer
|
Update Sotest-producer
|
2020-01-24 14:46:51 +01:00 |
stdcxx
|
Relicense as CC0-1.0
|
2020-01-24 14:46:41 +01:00 |
default.nix
|
Add packaging to README
|
2020-01-27 12:01:12 +01:00 |