Ehmry - a61c3532e8 Build more packages using upstream build system ... - Implement support for "ports" - Update Nixpkgs to use Genode 20.02 - Remove packaging of forked Genode		2020-03-02 19:17:14 +01:00
..
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-02-27 17:33:41 +01:00
genodelabs	Build more packages using upstream build system	2020-03-02 19:17:14 +01:00
libc	Relicense as CC0-1.0	2020-01-24 14:46:41 +01:00
solo5	Build more packages using upstream build system	2020-03-02 19:17:14 +01:00
sotest-producer	Build more packages using upstream build system	2020-03-02 19:17:14 +01:00
stdcxx	Relicense as CC0-1.0	2020-01-24 14:46:41 +01:00
default.nix	Build more packages using upstream build system	2020-03-02 19:17:14 +01:00