atari800_7.1.2-2.debian.tar.xz
atari800_7.1.2-2.dsc
atari800_7.1.2-2_amd64.deb
atari800_7.1.2.orig.tar.gz