/debian-ports/pool-x32/main/w/widelands/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
widelands_1.2-2_x32.deb3.7 MiB08.06.2024 18:03
widelands_1.2-2_x32.buildinfo14.4 KiB08.06.2024 18:03
widelands-dbgsym_1.2-2_x32.deb108.4 MiB08.06.2024 18:03