../ ginac-tools_1.3.0-2_amd64.deb 30-Apr-2005 22:20 83K ginac_1.3.0-2.diff.gz 12-Jan-2005 05:32 4862 ginac_1.3.0-2.dsc 30-Apr-2005 22:20 644 ginac_1.3.0.orig.tar.gz 30-Apr-2005 22:20 981K libginac-dev_1.3.0-2_amd64.deb 30-Apr-2005 22:20 2M libginac1.3_1.3.0-2_amd64.deb 30-Apr-2005 22:20 1M