../ ginac-tools_1.8.8-1+b1_amd64.deb 01-May-2026 11:48 74672 ginac-tools_1.8.8-1_arm64.deb 01-May-2026 12:15 66732 libginac-dev_1.8.8-1+b1_amd64.deb 01-May-2026 11:41 1288940 libginac-dev_1.8.8-1_arm64.deb 01-May-2026 11:31 1243904 libginac13_1.8.8-1+b1_amd64.deb 01-May-2026 12:03 962932 libginac13_1.8.8-1_arm64.deb 01-May-2026 12:09 840312