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


../
elpa-fricas_1.3.10-1build3_all.deb                                                                                       01-Apr-2024 14:43     50K
elpa-fricas_1.3.11-2_all.deb                                                                                             28-Jul-2024 23:59     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
fricas-databases_1.3.10-1build3_all.deb                                                                                  01-Apr-2024 14:43      1M
fricas-databases_1.3.11-2_all.deb                                                                                        28-Jul-2024 23:59      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-doc_1.3.10-1build3_all.deb                                                                                        01-Apr-2024 14:43    210K
fricas-doc_1.3.11-2_all.deb                                                                                              28-Jul-2024 23:59    211K
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-graphics-data_1.3.10-1build3_all.deb                                                                              01-Apr-2024 14:43      1M
fricas-graphics-data_1.3.11-2_all.deb                                                                                    28-Jul-2024 23:59      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_1.3.10-1build3_arm64.deb                                                                                 31-Mar-2024 09:59    121K
fricas-graphics_1.3.10-1build3_armhf.deb                                                                                 31-Mar-2024 08:12    115K
fricas-graphics_1.3.10-1build3_ppc64el.deb                                                                               31-Mar-2024 11:54    139K
fricas-graphics_1.3.10-1build3_riscv64.deb                                                                               01-Apr-2024 01:00    135K
fricas-graphics_1.3.10-1build3_s390x.deb                                                                                 31-Mar-2024 07:15    141K
fricas-graphics_1.3.11-2_arm64.deb                                                                                       29-Jul-2024 00:55    125K
fricas-graphics_1.3.11-2_armhf.deb                                                                                       29-Jul-2024 00:55    117K
fricas-graphics_1.3.11-2_ppc64el.deb                                                                                     29-Jul-2024 00:55    140K
fricas-graphics_1.3.11-2_riscv64.deb                                                                                     29-Jul-2024 08:18    139K
fricas-graphics_1.3.11-2_s390x.deb                                                                                       29-Jul-2024 00:55    141K
fricas-graphics_1.3.7-5_arm64.deb                                                                                        27-Jan-2022 18:54    124K
fricas-graphics_1.3.7-5_armhf.deb                                                                                        27-Jan-2022 19:33    115K
fricas-graphics_1.3.7-5_ppc64el.deb                                                                                      27-Jan-2022 18:24    137K
fricas-graphics_1.3.7-5_riscv64.deb                                                                                      28-Jan-2022 11:19    118K
fricas-graphics_1.3.7-5_s390x.deb                                                                                        27-Jan-2022 18:25    123K
fricas-graphics_1.3.8-6_arm64.deb                                                                                        14-Jan-2023 09:48    3536
fricas-graphics_1.3.8-6_armhf.deb                                                                                        14-Jan-2023 10:48    3540
fricas-graphics_1.3.8-6_ppc64el.deb                                                                                      14-Jan-2023 09:29    3540
fricas-graphics_1.3.8-6_riscv64.deb                                                                                      14-Jan-2023 22:14    3538
fricas-graphics_1.3.8-6_s390x.deb                                                                                        14-Jan-2023 09:29    3534
fricas-hypertex-data_1.3.10-1build3_all.deb                                                                              01-Apr-2024 14:43    666K
fricas-hypertex-data_1.3.11-2_all.deb                                                                                    28-Jul-2024 23:59    664K
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_1.3.10-1build3_arm64.deb                                                                                 31-Mar-2024 09:59     96K
fricas-hypertex_1.3.10-1build3_armhf.deb                                                                                 31-Mar-2024 08:12     85K
fricas-hypertex_1.3.10-1build3_ppc64el.deb                                                                               31-Mar-2024 11:54    113K
fricas-hypertex_1.3.10-1build3_riscv64.deb                                                                               01-Apr-2024 01:00    104K
fricas-hypertex_1.3.10-1build3_s390x.deb                                                                                 31-Mar-2024 07:15    109K
fricas-hypertex_1.3.11-2_arm64.deb                                                                                       29-Jul-2024 00:55     95K
fricas-hypertex_1.3.11-2_armhf.deb                                                                                       29-Jul-2024 00:55     84K
fricas-hypertex_1.3.11-2_ppc64el.deb                                                                                     29-Jul-2024 00:55    109K
fricas-hypertex_1.3.11-2_riscv64.deb                                                                                     29-Jul-2024 08:18    104K
fricas-hypertex_1.3.11-2_s390x.deb                                                                                       29-Jul-2024 00:55    106K
fricas-hypertex_1.3.7-5_arm64.deb                                                                                        27-Jan-2022 18:54     97K
fricas-hypertex_1.3.7-5_armhf.deb                                                                                        27-Jan-2022 19:33     85K
fricas-hypertex_1.3.7-5_ppc64el.deb                                                                                      27-Jan-2022 18:24    112K
fricas-hypertex_1.3.7-5_riscv64.deb                                                                                      28-Jan-2022 11:19     90K
fricas-hypertex_1.3.7-5_s390x.deb                                                                                        27-Jan-2022 18:25     99K
fricas-hypertex_1.3.8-6_arm64.deb                                                                                        14-Jan-2023 09:48    3524
fricas-hypertex_1.3.8-6_armhf.deb                                                                                        14-Jan-2023 10:48    3530
fricas-hypertex_1.3.8-6_ppc64el.deb                                                                                      14-Jan-2023 09:29    3534
fricas-hypertex_1.3.8-6_riscv64.deb                                                                                      14-Jan-2023 22:14    3528
fricas-hypertex_1.3.8-6_s390x.deb                                                                                        14-Jan-2023 09:29    3522
fricas-source_1.3.10-1build3_all.deb                                                                                     01-Apr-2024 14:43      1M
fricas-source_1.3.11-2_all.deb                                                                                           28-Jul-2024 23:59      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-test_1.3.10-1build3_all.deb                                                                                       01-Apr-2024 14:43    159K
fricas-test_1.3.11-2_all.deb                                                                                             28-Jul-2024 23:59    157K
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_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_arm64.deb                                                                                          31-Mar-2024 09:59     62M
fricas_1.3.10-1build3_armhf.deb                                                                                          31-Mar-2024 08:12     61M
fricas_1.3.10-1build3_ppc64el.deb                                                                                        31-Mar-2024 11:54     66M
fricas_1.3.10-1build3_riscv64.deb                                                                                        01-Apr-2024 01:00    198M
fricas_1.3.10-1build3_s390x.deb                                                                                          31-Mar-2024 07:15     64M
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_arm64.deb                                                                                                29-Jul-2024 00:55     55M
fricas_1.3.11-2_armhf.deb                                                                                                29-Jul-2024 00:55     55M
fricas_1.3.11-2_ppc64el.deb                                                                                              29-Jul-2024 00:55     58M
fricas_1.3.11-2_riscv64.deb                                                                                              29-Jul-2024 08:18    172M
fricas_1.3.11-2_s390x.deb                                                                                                29-Jul-2024 00:55     57M
fricas_1.3.11.orig.tar.bz2                                                                                               30-Jun-2024 23:49     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_arm64.deb                                                                                                 27-Jan-2022 18:54     58M
fricas_1.3.7-5_armhf.deb                                                                                                 27-Jan-2022 19:34     58M
fricas_1.3.7-5_ppc64el.deb                                                                                               27-Jan-2022 18:24     59M
fricas_1.3.7-5_riscv64.deb                                                                                               28-Jan-2022 11:19    161M
fricas_1.3.7-5_s390x.deb                                                                                                 27-Jan-2022 18:25     57M
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_arm64.deb                                                                                                 14-Jan-2023 09:48     60M
fricas_1.3.8-6_armhf.deb                                                                                                 14-Jan-2023 10:48     59M
fricas_1.3.8-6_ppc64el.deb                                                                                               14-Jan-2023 09:29     60M
fricas_1.3.8-6_riscv64.deb                                                                                               14-Jan-2023 22:14    159M
fricas_1.3.8-6_s390x.deb                                                                                                 14-Jan-2023 09:29     59M
fricas_1.3.8.orig.tar.bz2                                                                                                07-Jul-2022 23:24     10M