Index of /debian-ports/pool-x32/main/p/pushpin

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pushpin_1.35.0-2+b1_x32.buildinfo2022-11-17 08:03 15K 
[   ]pushpin_1.35.0-2+b1_x32.deb2022-11-17 08:03 1.7M 
[   ]pushpin-dbgsym_1.35.0-2+b1_x32.deb2022-11-17 08:03 36M