../ ginac-tools_1.6.2-1_amd64.deb 11-Nov-2011 23:09 112752 ginac_1.6.2-1.diff.gz 11-Nov-2011 23:09 5283 ginac_1.6.2-1.dsc 11-Nov-2011 23:09 1230 ginac_1.6.2.orig.tar.gz 11-Nov-2011 23:09 1304688 libginac-dev_1.6.2-1_amd64.deb 11-Nov-2011 23:09 2050894 libginac2-dbg_1.6.2-1_amd64.deb 11-Nov-2011 23:09 8012390 libginac2_1.6.2-1_amd64.deb 11-Nov-2011 23:09 1164372