../ gnustep-core-devel_7.10_all.deb 07-Feb-2019 07:17 5052 gnustep-core-doc_7.10_all.deb 07-Feb-2019 07:17 5056 gnustep-devel_7.10_all.deb 07-Feb-2019 07:17 5152 gnustep-games_7.10_all.deb 07-Feb-2019 07:17 4976 gnustep_7.10_all.deb 07-Feb-2019 07:17 5636