| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| pushpin_1.20.1-1+rb2.debian.tar.xz | 19.6 KiB | April 11, 2022 10:04 |
| pushpin_1.20.1-1+rb2.dsc | 1015 B | April 11, 2022 10:04 |
| pushpin_1.20.1-1+rb2_amd64.deb | 791.8 KiB | April 11, 2022 10:08 |
| pushpin_1.20.1-1+rb2_i386.deb | 875.0 KiB | April 11, 2022 10:12 |
| pushpin_1.20.1.orig.tar.bz2 | 204.9 KiB | April 11, 2022 10:04 |