../ gnustep-core-devel_7.10_all.deb 22-May-2023 12:04 5052 gnustep-core-doc_7.10_all.deb 22-May-2023 12:04 5056 gnustep-devel_7.10_all.deb 22-May-2023 12:04 5152 gnustep-games_7.10_all.deb 22-May-2023 12:04 4976 gnustep_7.10_all.deb 22-May-2023 12:04 5636