../ ginac-tools_1.7.2-2_amd64.deb 16-Jan-2017 23:09 84922 ginac-tools_1.7.2-2_i386.deb 16-Jan-2017 23:40 87604 ginac_1.7.2-2.diff.gz 16-Jan-2017 23:09 5063 ginac_1.7.2-2.dsc 16-Jan-2017 23:09 1906 ginac_1.7.2.orig.tar.gz 10-Jan-2017 07:43 1367682 libginac-dev_1.7.2-2_amd64.deb 16-Jan-2017 23:09 1110298 libginac-dev_1.7.2-2_i386.deb 16-Jan-2017 23:40 1199254 libginac6_1.7.2-2_amd64.deb 16-Jan-2017 23:09 801094 libginac6_1.7.2-2_i386.deb 16-Jan-2017 23:40 883310