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

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