../ elpa-fricas_1.3.8-6_all.deb 01-Jul-2023 15:41 137664 fricas-databases_1.3.8-6_all.deb 01-Jul-2023 15:46 1313432 fricas-doc_1.3.8-6_all.deb 01-Jul-2023 15:46 294824 fricas-graphics-data_1.3.8-6_all.deb 01-Jul-2023 15:46 1322880 fricas-hypertex-data_1.3.8-6_all.deb 01-Jul-2023 15:46 704604 fricas-source_1.3.8-6_all.deb 01-Jul-2023 15:46 1446672 fricas-test_1.3.8-6_all.deb 01-Jul-2023 15:46 257640