../ ginac-tools_1.8.8-1+b1_amd64.deb 23-Aug-2025 05:18 73K ginac-tools_1.8.8-1_arm64.deb 25-Aug-2025 00:49 65K libginac-dev_1.8.8-1+b1_amd64.deb 23-Aug-2025 05:18 1M libginac-dev_1.8.8-1_arm64.deb 25-Aug-2025 00:49 1M libginac13_1.8.8-1+b1_amd64.deb 23-Aug-2025 05:18 940K libginac13_1.8.8-1_arm64.deb 25-Aug-2025 00:49 821K