../ ginac-tools_1.8.10-1_amd64.deb 12-Feb-2026 06:38 77K ginac-tools_1.8.7-1build2_amd64.deb 31-Mar-2024 22:33 71K libginac-dev_1.8.10-1_amd64.deb 12-Feb-2026 06:38 1M libginac-dev_1.8.7-1build2_amd64.deb 31-Mar-2024 22:33 1M libginac11_1.8.7-1build2_amd64.deb 31-Mar-2024 22:33 909K libginac13_1.8.10-1_amd64.deb 12-Feb-2026 06:38 983K