../ tilde_1.0.0-1.debian.tar.xz 03-Dec-2018 20:13 1760 tilde_1.0.0-1.dsc 03-Dec-2018 20:13 1865 tilde_1.0.0-1_amd64.deb 03-Dec-2018 23:13 129K tilde_1.0.0-1_i386.deb 03-Dec-2018 23:59 138K tilde_1.0.0-1_mips64el.deb 03-Dec-2018 22:27 121K tilde_1.0.0.orig.tar.bz2 03-Dec-2018 20:13 66K