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

../
fricas-dbgsym_1.3.10-2_powerpc.deb                 17-Apr-2024 03:03      5M
fricas-graphics-dbgsym_1.3.10-2_powerpc.deb        17-Apr-2024 03:03    420K
fricas-graphics_1.3.10-2_powerpc.deb               17-Apr-2024 03:03    207K
fricas-hypertex-dbgsym_1.3.10-2_powerpc.deb        17-Apr-2024 03:03    353K
fricas-hypertex_1.3.10-2_powerpc.deb               17-Apr-2024 03:03    182K
fricas_1.3.10-2_powerpc.buildinfo                  17-Apr-2024 03:03     10K
fricas_1.3.10-2_powerpc.deb                        17-Apr-2024 03:03     51M