../ mandos-client_1.7.15-1_amd64.deb 27-Nov-2019 13:44 120548 mandos_1.7.15-1_all.deb 27-Nov-2019 13:44 87084