../ ginac-tools_1.7.8-2build1_amd64.deb 22-Mar-2020 17:40 66228 ginac_1.7.8-2build1.diff.gz 22-Mar-2020 16:59 5141 ginac_1.7.8-2build1.dsc 22-Mar-2020 16:59 1938 ginac_1.7.8.orig.tar.gz 25-Oct-2019 20:04 1376181 libginac-dev_1.7.8-2build1_amd64.deb 22-Mar-2020 17:40 1142132 libginac6_1.7.8-2build1_amd64.deb 22-Mar-2020 17:40 828376