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

../
fricas-dbgsym_1.3.13-2_alpha.deb                   01-Oct-2026 00:03    158K
fricas-graphics-dbgsym_1.3.13-2_alpha.deb          01-Oct-2026 00:03    383K
fricas-graphics_1.3.13-2_alpha.deb                 01-Oct-2026 00:03    216K
fricas-hypertex-dbgsym_1.3.13-2_alpha.deb          01-Oct-2026 00:03    308K
fricas-hypertex_1.3.13-2_alpha.deb                 01-Oct-2026 00:03    186K
fricas_1.3.13-2_alpha.buildinfo                    01-Oct-2026 00:03    8987
fricas_1.3.13-2_alpha.deb                          01-Oct-2026 00:03     60M