MD5 (atari800/atari800-1.3.2.tar.gz) = 8fcd251a3757270c02519ad7b86b7caa MD5 (atari800/xf25.zip) = 4dc3b6b4313e9596c4d474785a37b94d