/debian-ports/pool-x32/main/v/vmpk/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
vmpk_0.8.8-1_x32.buildinfo	12.2 KiB	18.11.2022 06:03
vmpk_0.8.8-1_x32.deb	403.8 KiB	18.11.2022 06:03
vmpk-dbgsym_0.8.8-1_x32.deb	3.6 MiB	18.11.2022 06:03