../ ginac-tools_1.7.5-1_amd64.deb 31-Aug-2022 14:15 86312 ginac-tools_1.8.0-2_amd64.deb 01-Sep-2022 16:52 74860 libginac-dev_1.7.5-1_amd64.deb 31-Aug-2022 14:15 1156864 libginac-dev_1.8.0-2_amd64.deb 01-Sep-2022 16:52 1230584 libginac11_1.8.0-2_amd64.deb 01-Sep-2022 16:52 900280 libginac6_1.7.5-1_amd64.deb 31-Aug-2022 14:15 813976