../ ginac-tools_1.8.7-1build2_amd64.deb 04-Mar-2026 09:51 71K ginac_1.8.7-1build2.debian.tar.xz 04-Mar-2026 09:51 5804 ginac_1.8.7-1build2.dsc 04-Mar-2026 09:51 2036 ginac_1.8.7.orig.tar.bz2 04-Mar-2026 09:51 1M libginac-dev_1.8.7-1build2_amd64.deb 04-Mar-2026 09:51 1M libginac11_1.8.7-1build2_amd64.deb 04-Mar-2026 09:51 909K