../ mandos-client_1.7.1-2build1_amd64.deb 28-May-2020 21:50 92814 mandos-client_1.7.19-1_amd64.deb 28-May-2020 17:42 117972 mandos_1.7.1-2build1_all.deb 28-May-2020 21:42 77188 mandos_1.7.19-1_all.deb 28-May-2020 18:01 82208