Debian download not working for me

[Tomasz Gajewski]

Josef Söntgen <josef.soentgen at genode-labs.com> writes:

> Please make sure that you use the current version, i.e. 19.03-p3. That

I think Josef made a mistake in version number. Currently there is
version 19.03-p1 available from his depot.

Anyway you should ensure that you don't try to use 19.02-p2. If you do
then you should redownload index file which I think can be done by
disabling and enabling depot again.

Tomasz Gajewski