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

../
fricas-dbgsym_1.3.10-1_alpha.deb                   07-Feb-2024 18:03             5199592
fricas-graphics-dbgsym_1.3.10-1_alpha.deb          07-Feb-2024 18:03              418364
fricas-graphics_1.3.10-1_alpha.deb                 07-Feb-2024 18:03              212520
fricas-hypertex-dbgsym_1.3.10-1_alpha.deb          07-Feb-2024 18:03              353140
fricas-hypertex_1.3.10-1_alpha.deb                 07-Feb-2024 18:03              183712
fricas_1.3.10-1_alpha.buildinfo                    07-Feb-2024 18:03               12904
fricas_1.3.10-1_alpha.deb                          07-Feb-2024 18:03            57214736