hash sum check failed for atari800 port

Wouter van Oijen wouter.van.oijen at technolution.nl
Thu Nov 22 16:32:01 CET 2018

> the SHA hashes were updated to SHA256 in version 18.05:
> (...)
> Apparently, we missed to update the Atari800 port.
> In contrast to the content of the 'genode' repository, the content of
> the 'genode-world' repository is not subject to automated tests. So the
> issue remained undetected. Thank you for reporting it! Would you like to
> submit a patch with a fix? ;-)

That explains it. Thanks for your response.
I've created a pull request for this fix:


More information about the users mailing list