Josef Söntgen josef.soentgen@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