app
|
ports: update lighttpd to 1.4.52
|
2019-01-07 12:33:55 +01:00 |
lib
|
Port of getdns and Stubby DNS resolver
|
2018-05-03 15:31:58 +02:00 |
noux
|
Noux: close stdio at exit
|
2018-09-13 15:21:12 +02:00 |
noux-pkg
|
Genode toolchain depot package
|
2018-11-27 11:38:13 +01:00 |
test
|
nova: provide microcode data via platform_info
|
2018-08-28 16:46:05 +02:00 |
virtualbox
|
Merge pthread into libc library
|
2018-11-29 11:46:01 +01:00 |
virtualbox5
|
Merge pthread into libc library
|
2018-11-29 11:46:01 +01:00 |