../ ginac-tools_1.8.8-1+b1_amd64.deb 20-Jun-2026 21:21 73K ginac-tools_1.8.8-1_i386.deb 13-Sep-2026 09:12 75K libginac-dev_1.8.8-1+b1_amd64.deb 20-Jun-2026 21:21 1M libginac-dev_1.8.8-1_i386.deb 13-Sep-2026 09:12 1M libginac13_1.8.8-1+b1_amd64.deb 20-Jun-2026 21:21 940K libginac13_1.8.8-1_i386.deb 13-Sep-2026 09:12 1001K