../ ginac-tools_1.3.0-2_amd64.deb 30-Apr-2005 15:20 83K libginac-dev_1.3.0-2_amd64.deb 30-Apr-2005 15:20 2M libginac1.3_1.3.0-2_amd64.deb 30-Apr-2005 15:20 1M