Index of /debian-ports/pool/main/f/fricas/

../
elpa-fricas_1.3.11-3_all.deb                       27-Apr-2025 11:24    144K
fricas-databases_1.3.11-3_all.deb                  27-Apr-2025 11:24      1M
fricas-doc_1.3.11-3_all.deb                        27-Apr-2025 11:24    297K
fricas-graphics-data_1.3.11-3_all.deb              27-Apr-2025 11:24      1M
fricas-hypertex-data_1.3.11-3_all.deb              27-Apr-2025 11:24    723K
fricas-source_1.3.11-3_all.deb                     27-Apr-2025 11:24      1M
fricas-test_1.3.11-3_all.deb                       27-Apr-2025 11:24    246K