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

../
fricas-dbgsym_1.3.11-2_sh4.deb                                                                                           29-Jul-2024 18:03      5M
fricas-graphics-dbgsym_1.3.11-2_sh4.deb                                                                                  29-Jul-2024 18:03    435K
fricas-graphics_1.3.11-2_sh4.deb                                                                                         29-Jul-2024 18:03    214K
fricas-hypertex-dbgsym_1.3.11-2_sh4.deb                                                                                  29-Jul-2024 18:03    340K
fricas-hypertex_1.3.11-2_sh4.deb                                                                                         29-Jul-2024 18:03    178K
fricas_1.3.11-2_sh4.buildinfo                                                                                            29-Jul-2024 18:03     12K
fricas_1.3.11-2_sh4.deb                                                                                                  29-Jul-2024 18:03     50M