/debian-ports/pool-x32/main/m/mandos/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
mandos_1.8.19-1+b1_x32.buildinfo	8.7 KiB	24.09.2025 12:03
mandos-client_1.8.19-1+b1_x32.deb	164.3 KiB	24.09.2025 12:03
mandos-client-dbgsym_1.8.19-1+b1_x32.deb	265.8 KiB	24.09.2025 12:03