../ mandos-client_1.7.15-1_amd64.deb 08-Jan-2023 17:47 120548 mandos-client_1.7.15-1_i386.deb 08-Jan-2023 17:50 119618 mandos_1.7.15-1_all.deb 08-Jan-2023 17:53 87084