../ mandos-client_1.7.1-2build1_amd64.deb 16-Mar-2016 09:39 92814 mandos-client_1.7.19-1_amd64.deb 02-Oct-2018 09:31 117972 mandos_1.7.1-2build1_all.deb 16-Mar-2016 09:45 77188 mandos_1.7.19-1_all.deb 02-Oct-2018 09:26 82208