../ ginac-tools_1.8.2-3_amd64.deb 19-Jun-2025 06:50 72K libginac-dev_1.8.2-3_amd64.deb 19-Jun-2025 06:50 1M libginac11_1.8.2-3_amd64.deb 19-Jun-2025 06:50 902K