../ gnustep-core-devel_7.10_all.deb 01-Jul-2023 15:48 3316 gnustep-core-doc_7.10_all.deb 01-Jul-2023 15:48 3320 gnustep-devel_7.10_all.deb 01-Jul-2023 15:48 3416 gnustep-games_7.10_all.deb 01-Jul-2023 15:48 3244 gnustep_7.10_all.deb 01-Jul-2023 15:48 3860