../ ginac-tools_1.8.6-1_amd64.deb 28-Jul-2023 02:18 72680 ginac-tools_1.8.8-1+b1_amd64.deb 10-Aug-2025 11:59 74672 libginac-dev_1.8.6-1_amd64.deb 28-Jul-2023 02:18 1234228 libginac-dev_1.8.8-1+b1_amd64.deb 10-Aug-2025 11:59 1288940 libginac11_1.8.6-1_amd64.deb 28-Jul-2023 02:18 906928 libginac13_1.8.8-1+b1_amd64.deb 10-Aug-2025 11:59 962932