| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tipp10_2.1.0_all.deb | 9.7 MiB | 2015-Jun-26 18:57 |
| tipp10_3.3.1-1~bpo12+1.debian.tar.xz | 8.9 KiB | 2024-Jul-27 15:23 |
| tipp10_3.3.1-1~bpo12+1.dsc | 994 B | 2024-Jul-27 15:23 |
| tipp10_3.3.1-1~bpo12+1_amd64.deb | 1.6 MiB | 2024-Jul-27 15:23 |
| tipp10_3.3.1.orig.tar.bz2 | 2.4 MiB | 2024-Jul-27 15:23 |