../ elpa-fricas_1.3.10-2_all.deb 09-Apr-2024 16:59 140K fricas-databases_1.3.10-2_all.deb 09-Apr-2024 16:59 1M fricas-doc_1.3.10-2_all.deb 09-Apr-2024 16:59 293K fricas-graphics-data_1.3.10-2_all.deb 09-Apr-2024 16:59 1M fricas-hypertex-data_1.3.10-2_all.deb 09-Apr-2024 16:59 722K fricas-source_1.3.10-2_all.deb 09-Apr-2024 16:59 1M fricas-test_1.3.10-2_all.deb 09-Apr-2024 16:59 246K