elpa-fricas_1.3.10-1build3_all.deb
elpa-fricas_1.3.12-2_all.deb
fricas-databases_1.3.10-1build3_all.deb
fricas-databases_1.3.12-2_all.deb
fricas-doc_1.3.10-1build3_all.deb
fricas-doc_1.3.12-2_all.deb
fricas-graphics-data_1.3.10-1build3_all.deb
fricas-graphics-data_1.3.12-2_all.deb
fricas-graphics_1.3.10-1build3_amd64.deb
fricas-graphics_1.3.12-2_amd64.deb
fricas-hypertex-data_1.3.10-1build3_all.deb
fricas-hypertex-data_1.3.12-2_all.deb
fricas-hypertex_1.3.10-1build3_amd64.deb
fricas-hypertex_1.3.12-2_amd64.deb
fricas-source_1.3.10-1build3_all.deb
fricas-source_1.3.12-2_all.deb
fricas-test_1.3.10-1build3_all.deb
fricas-test_1.3.12-2_all.deb
fricas_1.3.10-1build3_amd64.deb
fricas_1.3.12-2_amd64.deb