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

../
fricas-dbgsym_1.3.11-2_powerpc.deb                 28-Jul-2024 18:03             5200352
fricas-graphics-dbgsym_1.3.11-2_powerpc.deb        28-Jul-2024 18:03              455688
fricas-graphics_1.3.11-2_powerpc.deb               28-Jul-2024 18:03              218032
fricas-hypertex-dbgsym_1.3.11-2_powerpc.deb        28-Jul-2024 18:03              358852
fricas-hypertex_1.3.11-2_powerpc.deb               28-Jul-2024 18:03              188312
fricas_1.3.11-2_powerpc.buildinfo                  28-Jul-2024 18:03               10257
fricas_1.3.11-2_powerpc.deb                        28-Jul-2024 18:03            49749696