2
0
Fork 0
genodepkgs/packages
Ehmry - feb555991e genodeSources: prevent build scrips from stripping
The fixup phase of the Nix builder strips files and easier to disable.
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 genodeSources: prevent build scrips from stripping 2020-04-20 16:46:39 +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