MD5 (atari800/atari800-1.3.1.tar.gz) = 02c824a4648732a3646d377ee02efd7d
MD5 (atari800/xf25.zip) = 4dc3b6b4313e9596c4d474785a37b94d
