../ tetrinetx-dbgsym_1.13.16-15_riscv64.deb 29-May-2024 23:31 5216 tetrinetx_1.13.16-15.debian.tar.xz 08-May-2024 16:40 10468 tetrinetx_1.13.16-15.dsc 08-May-2024 16:40 1604 tetrinetx_1.13.16-15_riscv64.deb 29-May-2024 23:31 67108 tetrinetx_1.13.16.orig.tar.gz 08-May-2024 16:40 81447