../ ginac-tools_1.8.0-2_amd64.deb 01-Oct-2023 20:02 74860 ginac-tools_1.8.6-1_amd64.deb 09-Feb-2023 01:58 72680 libginac-dev_1.8.0-2_amd64.deb 01-Oct-2023 20:02 1230584 libginac-dev_1.8.6-1_amd64.deb 09-Feb-2023 01:58 1234228 libginac11_1.8.0-2_amd64.deb 01-Oct-2023 20:02 900280 libginac11_1.8.6-1_amd64.deb 09-Feb-2023 01:58 906928