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