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

../
fricas-dbgsym_1.3.11-5_alpha.deb                                                                                         22-Sep-2025 12:03    176K
fricas-graphics-dbgsym_1.3.11-5_alpha.deb                                                                                22-Sep-2025 12:03    430K
fricas-graphics_1.3.11-5_alpha.deb                                                                                       22-Sep-2025 12:03    212K
fricas-hypertex-dbgsym_1.3.11-5_alpha.deb                                                                                22-Sep-2025 12:03    345K
fricas-hypertex_1.3.11-5_alpha.deb                                                                                       22-Sep-2025 12:03    183K
fricas_1.3.11-5_alpha.buildinfo                                                                                          22-Sep-2025 12:03    9146
fricas_1.3.11-5_alpha.deb                                                                                                22-Sep-2025 12:03     54M