../ tuxfootball-dbgsym_0.3.1-7_riscv64.deb 17-Oct-2026 20:01 1684760 tuxfootball_0.3.1-7.debian.tar.xz 08-May-2024 17:14 4460 tuxfootball_0.3.1-7.dsc 08-May-2024 17:13 2066 tuxfootball_0.3.1-7_riscv64.buildinfo 17-Oct-2026 20:01 10949 tuxfootball_0.3.1-7_riscv64.deb 17-Oct-2026 20:01 15792008 tuxfootball_0.3.1.orig.tar.gz 08-May-2024 17:14 16433225