../ yacas-proteus_1.0.57-2_amd64.deb 30-Apr-2005 19:00 73K yacas_1.0.57-2_amd64.deb 30-Apr-2005 19:00 1M