../ mandos-client_1.8.16-1_arm64.deb 07-Feb-2023 17:56 156800 mandos-client_1.8.16-1_armel.deb 07-Feb-2023 17:56 168164 mandos-client_1.8.16-1_armhf.deb 07-Feb-2023 17:56 166148 mandos_1.8.16-1_all.deb 07-Feb-2023 17:46 102636