../ yacas-doc_1.3.6-2_all.deb 07-Sep-2023 09:45 2882926 yacas_1.3.6-2+b1_amd64.deb 07-Sep-2023 09:45 510970