| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| pushpin_1.10.1-1_amd64.deb | 679K | 20-Aug-2017 15:40 |
| pushpin_1.17.2-1.debian.tar.xz | 19K | 16-Jan-2018 09:20 |
| pushpin_1.17.2-1.dsc | 1755 | 16-Jan-2018 09:20 |
| pushpin_1.17.2-1_amd64.deb | 780K | 16-Jan-2018 09:55 |
| pushpin_1.17.2.orig.tar.bz2 | 203K | 16-Jan-2018 09:20 |