../ ginac-tools_1.7.8-2build1_amd64.deb 12-May-2025 11:34 66228 ginac-tools_1.8.2-3_amd64.deb 03-Sep-2026 19:52 73650 libginac-dev_1.7.8-2build1_amd64.deb 12-May-2025 11:34 1142132 libginac-dev_1.8.2-3_amd64.deb 03-Sep-2026 19:52 1382526 libginac11_1.8.2-3_amd64.deb 03-Sep-2026 19:52 923694 libginac6_1.7.8-2build1_amd64.deb 12-May-2025 11:34 828376