I have gotten my depot repository setup on github, and created a pull
request that adds it to the available sources. Could you please merge it?
On Tue, Jun 6, 2017 at 8:59 AM, Norman Feske
wrote:
> Hi Ben,
>
> thanks for your interest in Genode's depot tools! :-)
>
> On 02.06.2017 19:50, Nobody
Hi Ben,
thanks for your interest in Genode's depot tools! :-)
On 02.06.2017 19:50, Nobody III wrote:
> The new depot packaging system is great, but the current set of
> available packages is rather limited, especially when it comes to binary
> packages. I'd like this to change, and I'd be happy t
The new depot packaging system is great, but the current set of available
packages is rather limited, especially when it comes to binary packages.
I'd like this to change, and I'd be happy to be involved, but I don't know
what to do, so could someone please answer the following questions:
Are ther
