../ ginac-tools_1.8.8-1+b1_amd64.deb 21-Sep-2026 11:16 74672 libginac-dev_1.8.8-1+b1_amd64.deb 21-Sep-2026 11:16 1288940 libginac13_1.8.8-1+b1_amd64.deb 21-Sep-2026 11:16 962932