../ gnustep-core-devel_7.10_all.deb 07-Feb-2019 08:08 4412 gnustep-core-doc_7.10_all.deb 07-Feb-2019 08:08 4412 gnustep-devel_7.10_all.deb 07-Feb-2019 08:08 1920 gnustep-games_7.10_all.deb 07-Feb-2019 08:08 4340 gnustep_7.10_all.deb 07-Feb-2019 08:08 4972