Ehmry - 32d65d2f41 Patch Genode upstream to use conventional library names ... Use library names that are compatible with legacy software.		2020-05-08 01:11:30 +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	Clang: patch to link with -lc and -lposix	2020-05-08 01:01:29 +05:30
dhall	dhall-genode: update to fix missing parent-provides	2020-05-01 06:33:27 +05:30
genodelabs	Patch Genode upstream to use conventional library names	2020-05-08 01:11:30 +05:30
nic_bus	Clang: patch to link with -lc and -lposix	2020-05-08 01:01:29 +05:30
solo5	solo5: 0.6.3 -> 0.6.4	2020-04-04 14:25:32 +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