2
0
Fork 0
genodepkgs/packages
Emery Hemingway 085fedfef5 Update dhallGenode 2020-03-19 15:36:11 +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
dhall Update dhallGenode 2020-03-19 15:36:11 +05:30
genodelabs Refactor of packaging and testing 2020-03-18 19:39:57 +05:30
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 Update to latest Dhall in Nixpkgs master 2020-03-18 19:40:58 +05:30