Index of /bianbu/pool/universe/f/fricas/

../
elpa-fricas_1.3.10-1build3_all.deb                 21-Aug-2024 14:32     50K
elpa-fricas_1.3.11-2_all.deb                       23-May-2025 02:16     50K
fricas-databases_1.3.10-1build3_all.deb            21-Aug-2024 14:32      1M
fricas-databases_1.3.11-2_all.deb                  23-May-2025 02:16      1M
fricas-doc_1.3.10-1build3_all.deb                  21-Aug-2024 14:32    211K
fricas-doc_1.3.11-2_all.deb                        23-May-2025 02:16    211K
fricas-graphics-data_1.3.10-1build3_all.deb        21-Aug-2024 14:32      1M
fricas-graphics-data_1.3.11-2_all.deb              23-May-2025 02:16      1M
fricas-graphics_1.3.10-1build3_riscv64.deb         21-Aug-2024 14:32    138K
fricas-graphics_1.3.11-2_riscv64.deb               12-Jun-2025 12:32    137K
fricas-hypertex-data_1.3.10-1build3_all.deb        21-Aug-2024 14:32    667K
fricas-hypertex-data_1.3.11-2_all.deb              23-May-2025 02:16    664K
fricas-hypertex_1.3.10-1build3_riscv64.deb         21-Aug-2024 14:32    107K
fricas-hypertex_1.3.11-2_riscv64.deb               12-Jun-2025 12:32    105K
fricas-source_1.3.10-1build3_all.deb               21-Aug-2024 14:32      1M
fricas-source_1.3.11-2_all.deb                     23-May-2025 02:16      1M
fricas-test_1.3.10-1build3_all.deb                 21-Aug-2024 14:32    160K
fricas-test_1.3.11-2_all.deb                       23-May-2025 02:16    157K
fricas_1.3.10-1build3.debian.tar.xz                31-Mar-2024 06:12    241K
fricas_1.3.10-1build3.dsc                          31-Mar-2024 06:12    2503
fricas_1.3.10-1build3_riscv64.deb                  21-Aug-2024 14:32    206M
fricas_1.3.10.orig.tar.bz2                         15-Feb-2024 12:29     10M
fricas_1.3.11-2.debian.tar.xz                      28-Jul-2024 23:59    241K
fricas_1.3.11-2.dsc                                28-Jul-2024 23:59    2363
fricas_1.3.11-2_riscv64.deb                        12-Jun-2025 12:32    172M
fricas_1.3.11.orig.tar.bz2                         30-Jun-2024 23:49     10M