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

../
fricas-dbgsym_1.3.11-2_hppa.deb                                                                                          29-Jul-2024 00:03      5M
fricas-graphics-dbgsym_1.3.11-2_hppa.deb                                                                                 29-Jul-2024 00:03    432K
fricas-graphics_1.3.11-2_hppa.deb                                                                                        29-Jul-2024 00:03    207K
fricas-hypertex-dbgsym_1.3.11-2_hppa.deb                                                                                 29-Jul-2024 00:03    344K
fricas-hypertex_1.3.11-2_hppa.deb                                                                                        29-Jul-2024 00:03    175K
fricas_1.3.11-2_hppa.buildinfo                                                                                           29-Jul-2024 00:03     12K
fricas_1.3.11-2_hppa.deb                                                                                                 29-Jul-2024 00:03     51M