../ tipp10_2.1.0-5.debian.tar.xz 28-Oct-2020 19:59 8696 tipp10_2.1.0-5.dsc 28-Oct-2020 19:59 1844 tipp10_2.1.0-5_amd64.deb 29-Oct-2020 05:05 1580212 tipp10_2.1.0.orig.tar.gz 09-Nov-2016 23:23 1871451 tipp10_3.3.0-2build2.debian.tar.xz 01-Apr-2024 09:12 9096 tipp10_3.3.0-2build2.dsc 01-Apr-2024 09:12 1948 tipp10_3.3.0-2build2_amd64.deb 01-Apr-2024 11:51 1482170 tipp10_3.3.0.orig.tar.bz2 02-May-2023 01:26 1849409