../ elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 17:33 147164 fricas-databases_1.3.11-2_all.deb 28-Jul-2024 17:33 1320468 fricas-doc_1.3.11-2_all.deb 28-Jul-2024 17:33 304048 fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 17:33 1341188 fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 17:33 740224 fricas-source_1.3.11-2_all.deb 28-Jul-2024 17:33 1469032 fricas-test_1.3.11-2_all.deb 28-Jul-2024 17:33 252292