Index of /ubuntu/pool/universe/f/fricas/


../
elpa-fricas_1.3.10-1_all.deb                                                                                             15-Feb-2024 13:37     50K
elpa-fricas_1.3.7-5_all.deb                                                                                              27-Jan-2022 18:24     50K
elpa-fricas_1.3.8-6_all.deb                                                                                              14-Jan-2023 09:29     49K
elpa-fricas_1.3.8-8_all.deb                                                                                              14-Jun-2023 00:04     49K
fricas-databases_1.3.10-1_all.deb                                                                                        15-Feb-2024 13:37      1M
fricas-databases_1.3.7-5_all.deb                                                                                         27-Jan-2022 18:24      1M
fricas-databases_1.3.8-6_all.deb                                                                                         14-Jan-2023 09:29      1M
fricas-databases_1.3.8-8_all.deb                                                                                         14-Jun-2023 00:04      1M
fricas-doc_1.3.10-1_all.deb                                                                                              15-Feb-2024 13:37    210K
fricas-doc_1.3.7-5_all.deb                                                                                               27-Jan-2022 18:24    211K
fricas-doc_1.3.8-6_all.deb                                                                                               14-Jan-2023 09:29    210K
fricas-doc_1.3.8-8_all.deb                                                                                               14-Jun-2023 00:04    210K
fricas-graphics-data_1.3.10-1_all.deb                                                                                    15-Feb-2024 13:37      1M
fricas-graphics-data_1.3.7-5_all.deb                                                                                     27-Jan-2022 18:24      1M
fricas-graphics-data_1.3.8-6_all.deb                                                                                     14-Jan-2023 09:29      1M
fricas-graphics-data_1.3.8-8_all.deb                                                                                     14-Jun-2023 00:04      1M
fricas-graphics_1.3.10-1_amd64.deb                                                                                       15-Feb-2024 13:37    125K
fricas-graphics_1.3.7-5_amd64.deb                                                                                        27-Jan-2022 18:24    127K
fricas-graphics_1.3.8-6_amd64.deb                                                                                        14-Jan-2023 09:29    3532
fricas-graphics_1.3.8-8_amd64.deb                                                                                        14-Jun-2023 00:04    127K
fricas-hypertex-data_1.3.10-1_all.deb                                                                                    15-Feb-2024 13:37    666K
fricas-hypertex-data_1.3.7-5_all.deb                                                                                     27-Jan-2022 18:24    670K
fricas-hypertex-data_1.3.8-6_all.deb                                                                                     14-Jan-2023 09:29    637K
fricas-hypertex-data_1.3.8-8_all.deb                                                                                     14-Jun-2023 00:04    665K
fricas-hypertex_1.3.10-1_amd64.deb                                                                                       15-Feb-2024 13:37     96K
fricas-hypertex_1.3.7-5_amd64.deb                                                                                        27-Jan-2022 18:24     98K
fricas-hypertex_1.3.8-6_amd64.deb                                                                                        14-Jan-2023 09:29    3524
fricas-hypertex_1.3.8-8_amd64.deb                                                                                        14-Jun-2023 00:04     96K
fricas-source_1.3.10-1_all.deb                                                                                           15-Feb-2024 13:37      1M
fricas-source_1.3.7-5_all.deb                                                                                            27-Jan-2022 18:24      1M
fricas-source_1.3.8-6_all.deb                                                                                            14-Jan-2023 09:29      1M
fricas-source_1.3.8-8_all.deb                                                                                            14-Jun-2023 00:04      1M
fricas-test_1.3.10-1_all.deb                                                                                             15-Feb-2024 13:37    159K
fricas-test_1.3.7-5_all.deb                                                                                              27-Jan-2022 18:24    283K
fricas-test_1.3.8-6_all.deb                                                                                              14-Jan-2023 09:29    171K
fricas-test_1.3.8-8_all.deb                                                                                              14-Jun-2023 00:04    171K
fricas_1.3.10-1.debian.tar.xz                                                                                            15-Feb-2024 12:29    240K
fricas_1.3.10-1.dsc                                                                                                      15-Feb-2024 12:29    2363
fricas_1.3.10-1_amd64.deb                                                                                                15-Feb-2024 13:37     63M
fricas_1.3.10.orig.tar.bz2                                                                                               15-Feb-2024 12:29     10M
fricas_1.3.7-5.debian.tar.xz                                                                                             27-Jan-2022 17:14     97K
fricas_1.3.7-5.dsc                                                                                                       27-Jan-2022 17:14    2351
fricas_1.3.7-5_amd64.deb                                                                                                 27-Jan-2022 18:24     60M
fricas_1.3.7.orig.tar.bz2                                                                                                01-Jul-2021 23:13     10M
fricas_1.3.8-6.debian.tar.xz                                                                                             14-Jan-2023 05:34    239K
fricas_1.3.8-6.dsc                                                                                                       14-Jan-2023 05:34    2352
fricas_1.3.8-6_amd64.deb                                                                                                 14-Jan-2023 09:29     62M
fricas_1.3.8-8.debian.tar.xz                                                                                             13-Jun-2023 23:35    240K
fricas_1.3.8-8.dsc                                                                                                       13-Jun-2023 23:35    2356
fricas_1.3.8-8_amd64.deb                                                                                                 14-Jun-2023 00:04     62M
fricas_1.3.8.orig.tar.bz2                                                                                                07-Jul-2022 23:24     10M