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

../
fricas-dbgsym_1.3.11-2_alpha.deb                   30-Jul-2024 12:03             5194044
fricas-graphics-dbgsym_1.3.11-2_alpha.deb          30-Jul-2024 12:03              442888
fricas-graphics_1.3.11-2_alpha.deb                 30-Jul-2024 12:03              217920
fricas-hypertex-dbgsym_1.3.11-2_alpha.deb          30-Jul-2024 12:03              351384
fricas-hypertex_1.3.11-2_alpha.deb                 30-Jul-2024 12:03              186784
fricas_1.3.11-2_alpha.buildinfo                    30-Jul-2024 12:03               12797
fricas_1.3.11-2_alpha.deb                          30-Jul-2024 12:03            52682876