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

../
fricas-dbgsym_1.3.11-2_ppc64.deb                                                                                         28-Jul-2024 18:03      5M
fricas-graphics-dbgsym_1.3.11-2_ppc64.deb                                                                                28-Jul-2024 18:03    451K
fricas-graphics_1.3.11-2_ppc64.deb                                                                                       28-Jul-2024 18:03    216K
fricas-hypertex-dbgsym_1.3.11-2_ppc64.deb                                                                                28-Jul-2024 18:03    356K
fricas-hypertex_1.3.11-2_ppc64.deb                                                                                       28-Jul-2024 18:03    187K
fricas_1.3.11-2_ppc64.buildinfo                                                                                          28-Jul-2024 18:03     13K
fricas_1.3.11-2_ppc64.deb                                                                                                28-Jul-2024 18:03     48M