../ openclonk-data_7.0-3_all.deb 28-May-2020 21:26 94615086 openclonk-data_8.0-2_all.deb 28-May-2020 18:11 113976280 openclonk-dbg_7.0-3_amd64.deb 28-May-2020 21:42 37058618 openclonk_7.0-3_amd64.deb 28-May-2020 21:47 2059976 openclonk_8.0-2_amd64.deb 28-May-2020 18:08 2278336