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

../
fricas-dbgsym_1.3.11-2_powerpc.deb                                                                                       28-Jul-2024 18:03      5M
fricas-graphics-dbgsym_1.3.11-2_powerpc.deb                                                                              28-Jul-2024 18:03    445K
fricas-graphics_1.3.11-2_powerpc.deb                                                                                     28-Jul-2024 18:03    213K
fricas-hypertex-dbgsym_1.3.11-2_powerpc.deb                                                                              28-Jul-2024 18:03    350K
fricas-hypertex_1.3.11-2_powerpc.deb                                                                                     28-Jul-2024 18:03    184K
fricas_1.3.11-2_powerpc.buildinfo                                                                                        28-Jul-2024 18:03     10K
fricas_1.3.11-2_powerpc.deb                                                                                              28-Jul-2024 18:03     47M