../ ginac-tools_1.8.2-3_amd64.deb 08-Mar-2026 00:32 72K ginac-tools_1.8.7-1build2_amd64.deb 08-Mar-2026 00:32 71K libginac-dev_1.8.2-3_amd64.deb 08-Mar-2026 00:32 1M libginac-dev_1.8.7-1build2_amd64.deb 08-Mar-2026 00:32 1M libginac11_1.8.2-3_amd64.deb 08-Mar-2026 00:32 902K libginac11_1.8.7-1build2_amd64.deb 08-Mar-2026 00:32 909K