../ tipp10_2.1.0-3build1.debian.tar.xz 22-Mar-2020 17:40 8660 tipp10_2.1.0-3build1.dsc 22-Mar-2020 17:40 1896 tipp10_2.1.0-3build1_amd64.deb 22-Mar-2020 18:42 1598884 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