../ tuxfootball-dbgsym_0.3.1-7+b1_riscv64.deb 30-May-2024 01:58 1684804 tuxfootball_0.3.1-7+b1_riscv64.deb 30-May-2024 01:58 15793368 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.orig.tar.gz 08-May-2024 17:14 16433225