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

../
fricas-dbgsym_1.3.11-2_alpha.deb                                                                                         30-Jul-2024 12:03      5M
fricas-graphics-dbgsym_1.3.11-2_alpha.deb                                                                                30-Jul-2024 12:03    433K
fricas-graphics_1.3.11-2_alpha.deb                                                                                       30-Jul-2024 12:03    213K
fricas-hypertex-dbgsym_1.3.11-2_alpha.deb                                                                                30-Jul-2024 12:03    343K
fricas-hypertex_1.3.11-2_alpha.deb                                                                                       30-Jul-2024 12:03    182K
fricas_1.3.11-2_alpha.buildinfo                                                                                          30-Jul-2024 12:03     12K
fricas_1.3.11-2_alpha.deb                                                                                                30-Jul-2024 12:03     50M