genode/repos/base-nova/etc/specs.conf