| 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.orig.tar.bz2 | 2.4 MiB | 2024-Jul-27 15:23 |
| tipp10_3.3.3.orig.tar.bz2 | 2.3 MiB | 2025-Jun-07 17:40 |
| tipp10_3.3.1-1~bpo12+1_amd64.deb | 1.6 MiB | 2024-Jul-27 15:23 |
| tipp10_3.3.3-1~bpo12+1_amd64.deb | 1.6 MiB | 2025-Jun-07 17:40 |
| tipp10_3.3.1-1~bpo12+1.debian.tar.xz | 8.9 KiB | 2024-Jul-27 15:23 |
| tipp10_3.3.3-1~bpo12+1.debian.tar.xz | 3.0 KiB | 2025-Jun-07 17:40 |
| tipp10_3.3.1-1~bpo12+1.dsc | 994 B | 2024-Jul-27 15:23 |
| tipp10_3.3.3-1~bpo12+1.dsc | 992 B | 2025-Jun-07 17:40 |