../ ginac-tools_1.8.8-1+b1_amd64.deb 06-Jan-2026 11:39 74672 ginac-tools_1.8.9-1_amd64.deb 06-Jan-2026 11:39 79836 libginac-dev_1.8.8-1+b1_amd64.deb 06-Jan-2026 11:39 1288940 libginac-dev_1.8.9-1_amd64.deb 06-Jan-2026 11:39 1361676 libginac13_1.8.8-1+b1_amd64.deb 06-Jan-2026 11:39 962932 libginac13_1.8.9-1_amd64.deb 06-Jan-2026 11:39 1016612