../ elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50K fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1M fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 211K fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1M fricas-graphics_1.3.7-5_amd64.deb 27-Jan-2022 18:24 127K fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 670K fricas-hypertex_1.3.7-5_amd64.deb 27-Jan-2022 18:24 98K fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1M fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 283K fricas_1.3.7-5_amd64.deb 27-Jan-2022 18:24 60M