Josef Söntgen <[email protected]> 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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
