ginac-tools_1.8.10-1_amd64.deb
ginac_1.8.10-1.debian.tar.xz
ginac_1.8.10-1.dsc
ginac_1.8.10.orig.tar.bz2
libginac-dev_1.8.10-1_amd64.deb
libginac13_1.8.10-1_amd64.deb