../ ginac-tools_1.8.6-1_amd64.deb 08-Oct-2026 13:20 72680 ginac-tools_1.8.8-1+b1_amd64.deb 08-Oct-2026 13:20 74672 libginac-dev_1.8.6-1_amd64.deb 08-Oct-2026 13:20 1234228 libginac-dev_1.8.8-1+b1_amd64.deb 08-Oct-2026 13:20 1288940 libginac11_1.8.6-1_amd64.deb 08-Oct-2026 13:20 906928 libginac13_1.8.8-1+b1_amd64.deb 08-Oct-2026 13:20 962932