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

../
elpa-fricas_1.3.11-2_all.deb                                                                                             28-Jul-2024 17:33    144K
fricas-databases_1.3.11-2_all.deb                                                                                        28-Jul-2024 17:33      1M
fricas-doc_1.3.11-2_all.deb                                                                                              28-Jul-2024 17:33    297K
fricas-graphics-data_1.3.11-2_all.deb                                                                                    28-Jul-2024 17:33      1M
fricas-hypertex-data_1.3.11-2_all.deb                                                                                    28-Jul-2024 17:33    723K
fricas-source_1.3.11-2_all.deb                                                                                           28-Jul-2024 17:33      1M
fricas-test_1.3.11-2_all.deb                                                                                             28-Jul-2024 17:33    246K