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

../
fricas-dbgsym_1.3.10-2_hppa.deb                                                                                          10-Apr-2024 18:03      5M
fricas-graphics-dbgsym_1.3.10-2_hppa.deb                                                                                 10-Apr-2024 18:03    409K
fricas-graphics_1.3.10-2_hppa.deb                                                                                        10-Apr-2024 18:03    203K
fricas-hypertex-dbgsym_1.3.10-2_hppa.deb                                                                                 10-Apr-2024 18:03    347K
fricas-hypertex_1.3.10-2_hppa.deb                                                                                        10-Apr-2024 18:03    172K
fricas_1.3.10-2_hppa.buildinfo                                                                                           10-Apr-2024 18:03     10K
fricas_1.3.10-2_hppa.deb                                                                                                 10-Apr-2024 18:03     57M