../ tipp10_2.1.0-5.debian.tar.xz 27-Aug-2023 06:48 8696 tipp10_2.1.0-5.dsc 27-Aug-2023 06:48 1844 tipp10_2.1.0-5_amd64.deb 27-Aug-2023 06:48 1580212 tipp10_2.1.0.orig.tar.gz 26-Aug-2023 01:51 1871451 tipp10_3.3.0-2build2.debian.tar.xz 05-Apr-2024 05:12 9096 tipp10_3.3.0-2build2.dsc 05-Apr-2024 05:12 1948 tipp10_3.3.0-2build2_amd64.deb 05-Apr-2024 05:12 1482170 tipp10_3.3.0.orig.tar.bz2 16-Dec-2023 03:08 1849409