MD5 (atari800/atari800-1.3.0.tar.gz) = 2998586f3c69f8a7e50439722e30ffc6
MD5 (atari800/xf25.zip) = 4dc3b6b4313e9596c4d474785a37b94d