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

../
fricas-dbgsym_1.3.10-2_sh4.deb                                                                                           11-Apr-2024 06:03      5M
fricas-graphics-dbgsym_1.3.10-2_sh4.deb                                                                                  11-Apr-2024 06:03    410K
fricas-graphics_1.3.10-2_sh4.deb                                                                                         11-Apr-2024 06:03    209K
fricas-hypertex-dbgsym_1.3.10-2_sh4.deb                                                                                  11-Apr-2024 06:03    342K
fricas-hypertex_1.3.10-2_sh4.deb                                                                                         11-Apr-2024 06:03    176K
fricas_1.3.10-2_sh4.buildinfo                                                                                            11-Apr-2024 06:03     10K
fricas_1.3.10-2_sh4.deb                                                                                                  11-Apr-2024 06:03     51M