../ ginac-tools_1.8.8-1+b1_amd64.deb 05-Jan-2025 16:55 73K ginac_1.8.8-1.debian.tar.xz 04-Jan-2025 21:29 5696 ginac_1.8.8-1.dsc 04-Jan-2025 21:29 1924 ginac_1.8.8.orig.tar.bz2 04-Jan-2025 21:29 1M libginac-dev_1.8.8-1+b1_amd64.deb 05-Jan-2025 16:55 1M libginac13_1.8.8-1+b1_amd64.deb 05-Jan-2025 16:55 940K