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

../
fricas-dbgsym_1.3.11-5_sh4.deb                                                                                           26-Sep-2025 00:03    198K
fricas-graphics-dbgsym_1.3.11-5_sh4.deb                                                                                  26-Sep-2025 00:03    487K
fricas-graphics_1.3.11-5_sh4.deb                                                                                         26-Sep-2025 00:03    212K
fricas-hypertex-dbgsym_1.3.11-5_sh4.deb                                                                                  26-Sep-2025 00:03    381K
fricas-hypertex_1.3.11-5_sh4.deb                                                                                         26-Sep-2025 00:03    178K
fricas_1.3.11-5_sh4.buildinfo                                                                                            26-Sep-2025 00:03    9134
fricas_1.3.11-5_sh4.deb                                                                                                  26-Sep-2025 00:03     58M