../ openclonk-data_5.4.0-1_all.deb 31-Jan-2014 22:00 41180134 openclonk-dbg_5.4.0-1_armhf.deb 07-Feb-2014 05:08 33818210 openclonk_5.4.0-1.debian.tar.xz 31-Jan-2014 22:00 6900 openclonk_5.4.0-1.dsc 31-Jan-2014 22:00 1870 openclonk_5.4.0-1_armhf.deb 07-Feb-2014 05:08 1661022 openclonk_5.4.0.orig.tar.bz2 31-Jan-2014 22:00 50765573