../ gnustep-core-devel_7.10_all.deb 14-Sep-2023 19:01 4412 gnustep-core-doc_7.10_all.deb 14-Sep-2023 19:01 4412 gnustep-devel_7.10_all.deb 14-Sep-2023 19:01 1920 gnustep-games_7.10_all.deb 14-Sep-2023 19:01 4340 gnustep_7.10_all.deb 14-Sep-2023 19:01 4972