../ elpa-fricas_1.3.13-3_all.deb 06-Oct-2026 19:52 149K fricas-databases_1.3.13-3_all.deb 06-Oct-2026 19:52 1M fricas-doc_1.3.13-3_all.deb 06-Oct-2026 19:52 300K fricas-graphics-data_1.3.13-3_all.deb 06-Oct-2026 19:52 1M fricas-hypertex-data_1.3.13-3_all.deb 06-Oct-2026 19:52 727K fricas-source_1.3.13-3_all.deb 06-Oct-2026 19:52 1M fricas-test_1.3.13-3_all.deb 06-Oct-2026 19:52 251K