../ widelands-data_20-1~mx17+1_all.deb 12-Oct-2019 01:43 209913422 widelands_20-1~mx17+1.debian.tar.xz 12-Oct-2019 01:43 34968 widelands_20-1~mx17+1.dsc 12-Oct-2019 01:43 1984 widelands_20-1~mx17+1_amd64.deb 12-Oct-2019 01:43 2326616 widelands_20-1~mx17+1_i386.deb 12-Oct-2019 01:43 2441290 widelands_20.orig.tar.bz2 12-Oct-2019 01:43 232364340