../ gnustep-core-devel_7.10_all.deb 31-Aug-2022 14:34 5052 gnustep-core-doc_7.10_all.deb 31-Aug-2022 14:34 5056 gnustep-devel_7.10_all.deb 31-Aug-2022 14:34 5152 gnustep-games_7.10_all.deb 31-Aug-2022 14:34 4976 gnustep_7.10_all.deb 31-Aug-2022 14:34 5636