../ gnustep-core-devel_7.10_all.deb 22-Jul-2020 14:45 5052 gnustep-core-doc_7.10_all.deb 22-Jul-2020 14:23 5056 gnustep-devel_7.10_all.deb 22-Jul-2020 16:57 5152 gnustep-games_7.10_all.deb 22-Jul-2020 15:51 4976 gnustep_7.10_all.deb 22-Jul-2020 14:28 5636