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

../
elpa-fricas_1.3.11-5_all.deb                       22-Sep-2025 00:33    144K
fricas-databases_1.3.11-5_all.deb                  22-Sep-2025 00:33      1M
fricas-doc_1.3.11-5_all.deb                        22-Sep-2025 00:33    297K
fricas-graphics-data_1.3.11-5_all.deb              22-Sep-2025 00:33      1M
fricas-hypertex-data_1.3.11-5_all.deb              22-Sep-2025 00:33    723K
fricas-source_1.3.11-5_all.deb                     22-Sep-2025 00:33      1M
fricas-test_1.3.11-5_all.deb                       22-Sep-2025 00:33    247K