../ ginac-tools_1.8.8-1+b1_amd64.deb 08-Aug-2026 22:51 73K ginac_1.8.8-1.debian.tar.xz 09-Aug-2026 22:44 5696 ginac_1.8.8-1.dsc 09-Aug-2026 22:44 1924 ginac_1.8.8.orig.tar.bz2 09-Aug-2026 22:44 1M libginac-dev_1.8.8-1+b1_amd64.deb 08-Aug-2026 22:51 1M libginac13_1.8.8-1+b1_amd64.deb 08-Aug-2026 22:51 940K