../ tuxfootball_0.3.1-7build1.debian.tar.xz 17-Feb-2021 23:23 4588 tuxfootball_0.3.1-7build1.dsc 17-Feb-2021 23:23 2144 tuxfootball_0.3.1-7build1_amd64.deb 17-Feb-2021 23:43 15654904 tuxfootball_0.3.1.orig.tar.gz 24-May-2012 18:25 16433225