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

../
fricas-dbgsym_1.3.11-4_hppa.deb                                                                                          14-May-2025 18:03    180K
fricas-graphics-dbgsym_1.3.11-4_hppa.deb                                                                                 14-May-2025 18:03    433K
fricas-graphics_1.3.11-4_hppa.deb                                                                                        14-May-2025 18:03    207K
fricas-hypertex-dbgsym_1.3.11-4_hppa.deb                                                                                 14-May-2025 18:03    344K
fricas-hypertex_1.3.11-4_hppa.deb                                                                                        14-May-2025 18:03    174K
fricas_1.3.11-4_hppa.buildinfo                                                                                           14-May-2025 18:03    9215
fricas_1.3.11-4_hppa.deb                                                                                                 14-May-2025 18:03     57M