../ yacas-doc_1.0.57-2.1_all.deb 07-Jun-2017 13:08 1108948 yacas-proteus_1.0.57-2.1_i386.deb 07-Jun-2017 13:08 70824 yacas_1.0.57-2.1_i386.deb 07-Jun-2017 13:08 1113510