Index of /debian-ports/pool-x32/main/p/pushpin
Name
Last modified
Size
Description
Parent Directory
-
pushpin_1.35.0-2+b1_x32.buildinfo
2022-11-17 08:03
15K
pushpin_1.35.0-2+b1_x32.deb
2022-11-17 08:03
1.7M
pushpin-dbgsym_1.35.0-2+b1_x32.deb
2022-11-17 08:03
36M