../ elpa-fricas_1.3.11-4_all.deb 14-May-2025 12:38 147188 fricas-databases_1.3.11-4_all.deb 14-May-2025 12:38 1320696 fricas-doc_1.3.11-4_all.deb 14-May-2025 12:38 304096 fricas-graphics-data_1.3.11-4_all.deb 14-May-2025 12:38 1341004 fricas-hypertex-data_1.3.11-4_all.deb 14-May-2025 12:38 739848 fricas-source_1.3.11-4_all.deb 14-May-2025 12:38 1469096 fricas-test_1.3.11-4_all.deb 14-May-2025 12:38 252352