../ ginac-tools_1.8.8-1+b1_amd64.deb 06-Jan-2026 11:39 74672 ginac-tools_1.8.10-1_amd64.deb 10-Mar-2026 09:34 79280 libginac-dev_1.8.8-1+b1_amd64.deb 06-Jan-2026 11:39 1288940 libginac-dev_1.8.10-1_amd64.deb 10-Mar-2026 09:34 1368692 libginac13_1.8.8-1+b1_amd64.deb 06-Jan-2026 11:39 962932 libginac13_1.8.10-1_amd64.deb 10-Mar-2026 09:34 1030272