../ ginac-tools_1.8.8-1+b1_amd64.deb 18-Oct-2026 13:39 73K ginac_1.8.8-1.debian.tar.xz 18-Oct-2026 13:39 5696 ginac_1.8.8-1.dsc 18-Oct-2026 13:39 1924 ginac_1.8.8.orig.tar.bz2 18-Oct-2026 13:39 1M libginac-dev_1.8.8-1+b1_amd64.deb 18-Oct-2026 13:39 1M libginac13_1.8.8-1+b1_amd64.deb 18-Oct-2026 13:39 940K