../ tuxfootball_0.3.1-10.debian.tar.xz 17-Jan-2025 05:48 4480 tuxfootball_0.3.1-10.dsc 17-Jan-2025 05:48 2050 tuxfootball_0.3.1-10_riscv64.deb 23-Jun-2025 17:08 15M 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_riscv64.deb 21-Aug-2024 14:36 15M tuxfootball_0.3.1.orig.tar.gz 24-May-2012 18:25 16M