../ ginac-tools_1.8.8-1+b1_amd64.deb 05-Jan-2025 11:55 74672 ginac_1.8.8-1.debian.tar.xz 04-Jan-2025 16:29 5696 ginac_1.8.8-1.dsc 04-Jan-2025 16:29 1924 ginac_1.8.8.orig.tar.bz2 04-Jan-2025 16:29 1154686 libginac-dev_1.8.8-1+b1_amd64.deb 05-Jan-2025 11:55 1288940 libginac13_1.8.8-1+b1_amd64.deb 05-Jan-2025 11:55 962932