Index of /debian/pool/main/t/tetrinetx

Icon  Name                                 Last modified      Size  
[PARENTDIR] Parent Directory - [   ] tetrinetx_1.13.16.orig.tar.gz 2002-10-12 23:32 80K [   ] tetrinetx_1.13.16-15_s390x.deb 2022-08-26 11:42 59K [   ] tetrinetx_1.13.16-15_ppc64el.deb 2022-08-26 11:12 69K [   ] tetrinetx_1.13.16-15_mipsel.deb 2022-08-26 11:12 63K [   ] tetrinetx_1.13.16-15_mips64el.deb 2022-08-26 11:12 63K [   ] tetrinetx_1.13.16-15_i386.deb 2022-08-26 11:07 71K [   ] tetrinetx_1.13.16-15_armhf.deb 2022-08-26 11:12 60K [   ] tetrinetx_1.13.16-15_armel.deb 2022-08-26 11:12 59K [   ] tetrinetx_1.13.16-15_arm64.deb 2022-08-26 11:12 62K [   ] tetrinetx_1.13.16-15_amd64.deb 2022-08-26 11:12 65K [   ] tetrinetx_1.13.16-15.dsc 2022-08-26 10:47 1.6K [   ] tetrinetx_1.13.16-15.debian.tar.xz 2022-08-26 10:47 10K [   ] tetrinetx_1.13.16-15+b2_riscv64.deb 2024-03-12 10:49 66K [   ] tetrinetx_1.13.16-15+b1_s390x.deb 2024-03-13 10:59 61K [   ] tetrinetx_1.13.16-15+b1_ppc64el.deb 2024-03-12 10:23 68K [   ] tetrinetx_1.13.16-15+b1_mips64el.deb 2024-03-12 10:33 62K [   ] tetrinetx_1.13.16-15+b1_i386.deb 2024-03-12 10:23 71K [   ] tetrinetx_1.13.16-15+b1_arm64.deb 2024-03-12 10:23 61K [   ] tetrinetx_1.13.16-15+b1_amd64.deb 2024-03-12 10:33 65K [   ] tetrinetx_1.13.16-14.dsc 2012-10-08 10:08 1.7K [   ] tetrinetx_1.13.16-14.diff.gz 2012-10-08 10:08 9.8K [   ] tetrinetx_1.13.16-14+b1_s390x.deb 2017-03-05 00:42 62K [   ] tetrinetx_1.13.16-14+b1_ppc64el.deb 2017-03-05 00:42 60K [   ] tetrinetx_1.13.16-14+b1_mipsel.deb 2017-03-05 01:43 63K [   ] tetrinetx_1.13.16-14+b1_mips64el.deb 2017-03-05 01:28 63K [   ] tetrinetx_1.13.16-14+b1_mips.deb 2017-03-05 00:57 62K [   ] tetrinetx_1.13.16-14+b1_i386.deb 2017-03-05 00:42 70K [   ] tetrinetx_1.13.16-14+b1_armhf.deb 2017-03-05 01:28 61K [   ] tetrinetx_1.13.16-14+b1_armel.deb 2017-03-05 01:58 60K [   ] tetrinetx_1.13.16-14+b1_arm64.deb 2017-03-05 00:42 58K [   ] tetrinetx_1.13.16-14+b1_amd64.deb 2017-03-05 00:42 66K
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80