Hi,

On 08.02.2016 02:55, Michael Tremer wrote:
> I will wait until the source for these has been uploaded.

Since '/pub/sources' now exists again: Done. ;-)

Best,
Matthias