../ ginac-tools_1.7.5-1_amd64.deb 17-Feb-2019 15:31 86312 ginac_1.7.5-1.diff.gz 17-Feb-2019 15:31 5005 ginac_1.7.5-1.dsc 17-Feb-2019 15:31 1915 ginac_1.7.5.orig.tar.gz 17-Feb-2019 15:31 1383140 libginac-dev_1.7.5-1_amd64.deb 17-Feb-2019 15:31 1156864 libginac6_1.7.5-1_amd64.deb 17-Feb-2019 15:31 813976