../ elpa-fricas_1.3.11-4_all.deb 14-May-2025 20:38 144K fricas-databases_1.3.11-4_all.deb 14-May-2025 20:38 1M fricas-doc_1.3.11-4_all.deb 14-May-2025 20:38 297K fricas-graphics-data_1.3.11-4_all.deb 14-May-2025 20:38 1M fricas-hypertex-data_1.3.11-4_all.deb 14-May-2025 20:38 723K fricas-source_1.3.11-4_all.deb 14-May-2025 20:38 1M fricas-test_1.3.11-4_all.deb 14-May-2025 20:38 246K