../ ginac-tools_1.8.7-1build2_amd64.deb 24-Oct-2026 14:16 71K libginac-dev_1.8.7-1build2_amd64.deb 24-Oct-2026 12:45 1M libginac11_1.8.7-1build2_amd64.deb 24-Oct-2026 14:04 909K