../ ginac-tools_1.7.5-1_amd64.deb 17-Feb-2019 15:31 86312 ginac-tools_1.7.5-1_i386.deb 17-Feb-2019 16:11 87940 libginac-dev_1.7.5-1_amd64.deb 17-Feb-2019 15:31 1156864 libginac-dev_1.7.5-1_i386.deb 17-Feb-2019 16:11 1227460 libginac6_1.7.5-1_amd64.deb 17-Feb-2019 15:31 813976 libginac6_1.7.5-1_i386.deb 17-Feb-2019 16:11 873248