../ ginac-tools_1.8.10-1_amd64.deb 06-Sep-2026 17:18 79280 ginac-tools_1.8.8-1+b1_amd64.deb 29-Jul-2026 15:03 74672 libginac-dev_1.8.10-1_amd64.deb 06-Sep-2026 17:18 1368692 libginac-dev_1.8.8-1+b1_amd64.deb 29-Jul-2026 15:03 1288940 libginac13_1.8.10-1_amd64.deb 06-Sep-2026 17:18 1030272 libginac13_1.8.8-1+b1_amd64.deb 29-Jul-2026 15:03 962932