genode/repos/base-nova/ports
Alexander Boettcher eedf3fa413 nova: update to r7 branch
Fixes #1297
2014-11-28 12:00:44 +01:00
..
nova.hash nova: update to r7 branch 2014-11-28 12:00:44 +01:00
nova.port nova: update to r7 branch 2014-11-28 12:00:44 +01:00