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

../
fricas-dbgsym_1.3.10-2_alpha.deb                   14-May-2024 15:03      5M
fricas-graphics-dbgsym_1.3.10-2_alpha.deb          14-May-2024 15:03    409K
fricas-graphics_1.3.10-2_alpha.deb                 14-May-2024 15:03    208K
fricas-hypertex-dbgsym_1.3.10-2_alpha.deb          14-May-2024 15:03    345K
fricas-hypertex_1.3.10-2_alpha.deb                 14-May-2024 15:03    180K
fricas_1.3.10-2_alpha.buildinfo                    14-May-2024 15:03     13K
fricas_1.3.10-2_alpha.deb                          14-May-2024 15:03     55M