../ ginac-tools_1.8.10-1_amd64.deb 21-Jun-2026 05:05 77K libginac-dev_1.8.10-1_amd64.deb 21-Jun-2026 05:05 1M libginac13_1.8.10-1_amd64.deb 21-Jun-2026 05:05 983K