../ gnustep-core-devel_7.10_all.deb 18-Sep-2023 15:40 4412 gnustep-core-doc_7.10_all.deb 18-Sep-2023 15:40 4412 gnustep-devel_7.10_all.deb 18-Sep-2023 15:40 1920 gnustep-games_7.10_all.deb 18-Sep-2023 15:40 4340 gnustep_7.10_all.deb 18-Sep-2023 15:40 4972