../ tipp10_3.3.0-1.debian.tar.xz 31-Jul-2024 12:14 8864 tipp10_3.3.0-1.dsc 31-Jul-2024 12:14 1845 tipp10_3.3.0-1_amd64.deb 31-Jul-2024 12:25 1619336 tipp10_3.3.0-1_arm64.deb 31-Jul-2024 12:26 1598692 tipp10_3.3.0-1_i386.deb 31-Jul-2024 12:17 1631160 tipp10_3.3.0.orig.tar.bz2 31-Jul-2024 12:14 1849409