../ gnustep-core-devel_7.8_all.deb 22-Jul-2014 16:28 4284 gnustep-core-doc_7.8_all.deb 22-Jul-2014 16:28 4250 gnustep-devel_7.8_all.deb 22-Jul-2014 16:28 1840 gnustep-games_7.8_all.deb 22-Jul-2014 16:28 4202 gnustep_7.8_all.deb 22-Jul-2014 16:28 4790