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

../
fricas-dbgsym_1.3.11-2_ppc64.deb                   28-Jul-2024 18:03             5438356
fricas-graphics-dbgsym_1.3.11-2_ppc64.deb          28-Jul-2024 18:03              461448
fricas-graphics_1.3.11-2_ppc64.deb                 28-Jul-2024 18:03              221332
fricas-hypertex-dbgsym_1.3.11-2_ppc64.deb          28-Jul-2024 18:03              364944
fricas-hypertex_1.3.11-2_ppc64.deb                 28-Jul-2024 18:03              191520
fricas_1.3.11-2_ppc64.buildinfo                    28-Jul-2024 18:03               12907
fricas_1.3.11-2_ppc64.deb                          28-Jul-2024 18:03            49820400