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

../
elpa-fricas_1.3.10-2_all.deb                                                                                             09-Apr-2024 16:59    140K
fricas-databases_1.3.10-2_all.deb                                                                                        09-Apr-2024 16:59      1M
fricas-doc_1.3.10-2_all.deb                                                                                              09-Apr-2024 16:59    293K
fricas-graphics-data_1.3.10-2_all.deb                                                                                    09-Apr-2024 16:59      1M
fricas-hypertex-data_1.3.10-2_all.deb                                                                                    09-Apr-2024 16:59    722K
fricas-source_1.3.10-2_all.deb                                                                                           09-Apr-2024 16:59      1M
fricas-test_1.3.10-2_all.deb                                                                                             09-Apr-2024 16:59    246K