2
0
Fork 0
genodepkgs/packages
Ehmry - 2aee6e6601 dhall-genode: update to LabelSelector revision 2020-04-20 16:46:39 +05:30
..
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
block_router block_router: 0.1.1 <- 0.1.0 2020-04-13 12:40:45 +05:30
dhall dhall-genode: update to LabelSelector revision 2020-04-20 16:46:39 +05:30
genodelabs Apply iasl patch to virtualbox 2020-04-09 23:37:36 +05:30
nic_bus nic_bus: reinit at version 0.2 2020-04-05 14:03:51 +05:30
solo5 solo5: 0.6.3 -> 0.6.4 2020-04-04 14:25:32 +05:30
sotest-producer Move sotest-producer sources URL 2020-04-04 14:25:32 +05:30
stdcxx Package stdcxx library 2020-04-08 13:43:27 +05:30
default.nix Patch Genode sources per-package 2020-04-08 21:22:52 +05:30