../ yacas-doc_1.3.6-1_all.deb 16-Mar-2016 10:49 2877924 yacas-doc_1.3.6-2_all.deb 02-Oct-2018 09:38 2878560 yacas_1.3.6-1_amd64.deb 16-Mar-2016 11:23 525330 yacas_1.3.6-2_amd64.deb 02-Oct-2018 09:15 507440