../ elpa-fricas_1.3.10-2_all.deb 09-Apr-2024 16:59 143484 fricas-databases_1.3.10-2_all.deb 09-Apr-2024 16:59 1335464 fricas-doc_1.3.10-2_all.deb 09-Apr-2024 16:59 300432 fricas-graphics-data_1.3.10-2_all.deb 09-Apr-2024 16:59 1332108 fricas-hypertex-data_1.3.10-2_all.deb 09-Apr-2024 16:59 738968 fricas-source_1.3.10-2_all.deb 09-Apr-2024 16:59 1465736 fricas-test_1.3.10-2_all.deb 09-Apr-2024 16:59 251436