../ yacas-doc_1.3.3-2_all.deb 08-May-2013 00:03 476696 yacas_1.3.3-2_amd64.deb 08-May-2013 00:03 442168