../ ginac-tools_1.8.8-1+b1_amd64.deb 09-Feb-2026 22:18 74672 ginac_1.8.8-1.debian.tar.xz 09-Feb-2026 22:18 5696 ginac_1.8.8-1.dsc 09-Feb-2026 22:18 1924 ginac_1.8.8.orig.tar.bz2 09-Feb-2026 22:18 1154686 libginac-dev_1.8.8-1+b1_amd64.deb 09-Feb-2026 22:18 1288940 libginac13_1.8.8-1+b1_amd64.deb 09-Feb-2026 22:18 962932