../ ginac-tools_1.6.6-1_amd64.deb 02-Jan-2016 23:44 70478 ginac_1.6.6-1.diff.gz 02-Jan-2016 23:14 5195 ginac_1.6.6-1.dsc 02-Jan-2016 23:14 1927 ginac_1.6.6.orig.tar.gz 02-Jan-2016 23:14 1344882 libginac-dev_1.6.6-1_amd64.deb 02-Jan-2016 23:44 1197836 libginac5v5-dbg_1.6.6-1_amd64.deb 02-Jan-2016 23:44 6077916 libginac5v5_1.6.6-1_amd64.deb 02-Jan-2016 23:44 889118