../ mandos-client_1.7.10-1_amd64.deb 23-Jun-2016 20:36 154K mandos-client_1.7.10-1_i386.deb 23-Jun-2016 23:18 142K mandos_1.7.10-1.debian.tar.xz 23-Jun-2016 20:36 15K mandos_1.7.10-1.dsc 23-Jun-2016 20:36 2200 mandos_1.7.10-1_all.deb 23-Jun-2016 20:36 84K mandos_1.7.10.orig.tar.gz 23-Jun-2016 20:36 172K