../ mandos-client_1.7.15-1_amd64.deb 23-Feb-2017 20:58 120548 mandos-client_1.7.15-1_i386.deb 23-Feb-2017 21:44 119618 mandos_1.7.15-1.debian.tar.xz 23-Feb-2017 20:58 15172 mandos_1.7.15-1.dsc 23-Feb-2017 20:58 2217 mandos_1.7.15-1_all.deb 23-Feb-2017 20:58 87084 mandos_1.7.15.orig.tar.gz 23-Feb-2017 20:58 176675