../ ginac-tools_1.8.6-1_amd64.deb 21-Oct-2026 19:44 71K ginac-tools_1.8.8-1+b1_amd64.deb 21-Oct-2026 19:44 73K libginac-dev_1.8.6-1_amd64.deb 21-Oct-2026 19:44 1M libginac-dev_1.8.8-1+b1_amd64.deb 21-Oct-2026 19:44 1M libginac11_1.8.6-1_amd64.deb 21-Oct-2026 19:44 886K libginac13_1.8.8-1+b1_amd64.deb 21-Oct-2026 19:44 940K