2
0
genodepkgs/packages
Emery Hemingway f7a461544c ports: check and don't fixup
Shebangs change with the interpreters.
2020-05-22 00:54:27 +05:30
..
bender Place binaries into $out directories rather than simply as $out 2020-05-16 02:50:10 +05:30
block_router Update nic_bus, block_route to build again 2020-05-08 09:34:24 +05:30
dhall Update dhall-genode for Init.StateReport 2020-05-16 02:50:10 +05:30
genodelabs ports: check and don't fixup 2020-05-22 00:54:27 +05:30
nic_bus Update nic_bus, block_route to build again 2020-05-08 09:34:24 +05:30
NOVA Move packaging of Genode core repositories here 2020-01-22 13:02:43 +01:00
solo5 solo5: do not yield for expired deadlines 2020-05-16 02:49:49 +05:30
sotest-producer Clang: patch to link with -lc and -lposix 2020-05-08 01:01:29 +05:30
stdcxx Package stdcxx library 2020-04-08 13:43:27 +05:30
default.nix overlay: add setup-hook to tup 2020-04-22 17:18:57 +05:30