/debian-ports/pool-x32/main/t/tipp10/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
tipp10_2.1.0-5_x32.deb
1.6 MiB
15.09.2020 12:04
tipp10_2.1.0-5_x32.buildinfo
10.4 KiB
15.09.2020 12:04
tipp10-dbgsym_2.1.0-5_x32.deb
3.4 MiB
15.09.2020 12:04