../ ginac-tools_1.3.0-2_amd64.deb 30-Apr-2005 15:20 85290 ginac_1.3.0-2.diff.gz 09-Feb-2010 15:21 61 ginac_1.3.0-2.dsc 09-Feb-2010 15:21 57 ginac_1.3.0.orig.tar.gz 09-Feb-2010 15:21 63 libginac-dev_1.3.0-2_amd64.deb 30-Apr-2005 15:20 1860986 libginac1.3_1.3.0-2_amd64.deb 30-Apr-2005 15:20 1167100