../ gnustep-core-devel_7.10_all.deb 18-Dec-2022 12:56 4412 gnustep-core-doc_7.10_all.deb 18-Dec-2022 13:19 4412 gnustep-devel_7.10_all.deb 18-Dec-2022 13:32 1920 gnustep-games_7.10_all.deb 18-Dec-2022 13:08 4340 gnustep_7.10_all.deb 18-Dec-2022 13:33 4972