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


../
fricas-dbgsym_1.3.11-2_alpha.deb                   30-Jul-2024 21:03      5M
fricas-graphics-dbgsym_1.3.11-2_alpha.deb          30-Jul-2024 21:03    433K
fricas-graphics_1.3.11-2_alpha.deb                 30-Jul-2024 21:03    213K
fricas-hypertex-dbgsym_1.3.11-2_alpha.deb          30-Jul-2024 21:03    343K
fricas-hypertex_1.3.11-2_alpha.deb                 30-Jul-2024 21:03    182K
fricas_1.3.11-2_alpha.buildinfo                    30-Jul-2024 21:03     12K
fricas_1.3.11-2_alpha.deb                          30-Jul-2024 21:03     50M