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

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] elpa-fricas_1.3.10-1build3_all.deb          2024-04-01 16:43   50K  
[   ] elpa-fricas_1.3.11-2_all.deb                2024-07-29 01:59   50K  
[   ] elpa-fricas_1.3.11-3_all.deb                2025-05-02 17:17   50K  
[   ] elpa-fricas_1.3.7-5_all.deb                 2022-01-27 19:24   50K  
[   ] fricas-databases_1.3.10-1build3_all.deb     2024-04-01 16:43  1.2M  
[   ] fricas-databases_1.3.11-2_all.deb           2024-07-29 01:59  1.1M  
[   ] fricas-databases_1.3.11-3_all.deb           2025-05-02 17:17  1.1M  
[   ] fricas-databases_1.3.7-5_all.deb            2022-01-27 19:24  1.1M  
[   ] fricas-doc_1.3.10-1build3_all.deb           2024-04-01 16:43  210K  
[   ] fricas-doc_1.3.11-2_all.deb                 2024-07-29 01:59  211K  
[   ] fricas-doc_1.3.11-3_all.deb                 2025-05-02 17:17  210K  
[   ] fricas-doc_1.3.7-5_all.deb                  2022-01-27 19:24  211K  
[   ] fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-01 16:43  1.2M  
[   ] fricas-graphics-data_1.3.11-2_all.deb       2024-07-29 01:59  1.2M  
[   ] fricas-graphics-data_1.3.11-3_all.deb       2025-05-02 17:17  1.2M  
[   ] fricas-graphics-data_1.3.7-5_all.deb        2022-01-27 19:24  1.2M  
[   ] fricas-graphics_1.3.10-1build3_arm64.deb    2024-03-31 11:59  121K  
[   ] fricas-graphics_1.3.10-1build3_armhf.deb    2024-03-31 10:12  115K  
[   ] fricas-graphics_1.3.10-1build3_ppc64el.deb  2024-03-31 13:54  139K  
[   ] fricas-graphics_1.3.10-1build3_riscv64.deb  2024-04-01 03:00  135K  
[   ] fricas-graphics_1.3.10-1build3_s390x.deb    2024-03-31 09:15  141K  
[   ] fricas-graphics_1.3.11-2_arm64.deb          2024-07-29 02:55  125K  
[   ] fricas-graphics_1.3.11-2_armhf.deb          2024-07-29 02:55  117K  
[   ] fricas-graphics_1.3.11-2_ppc64el.deb        2024-07-29 02:55  140K  
[   ] fricas-graphics_1.3.11-2_riscv64.deb        2024-07-29 10:18  139K  
[   ] fricas-graphics_1.3.11-2_s390x.deb          2024-07-29 02:55  141K  
[   ] fricas-graphics_1.3.11-3_arm64.deb          2025-05-02 08:56  125K  
[   ] fricas-graphics_1.3.11-3_armhf.deb          2025-05-02 08:57  117K  
[   ] fricas-graphics_1.3.11-3_ppc64el.deb        2025-05-05 19:09  140K  
[   ] fricas-graphics_1.3.11-3_riscv64.deb        2025-05-06 12:13  138K  
[   ] fricas-graphics_1.3.11-3_s390x.deb          2025-05-02 23:16  139K  
[   ] fricas-graphics_1.3.7-5_arm64.deb           2022-01-27 19:54  124K  
[   ] fricas-graphics_1.3.7-5_armhf.deb           2022-01-27 20:33  115K  
[   ] fricas-graphics_1.3.7-5_ppc64el.deb         2022-01-27 19:24  137K  
[   ] fricas-graphics_1.3.7-5_riscv64.deb         2022-01-28 12:19  118K  
[   ] fricas-graphics_1.3.7-5_s390x.deb           2022-01-27 19:25  123K  
[   ] fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-01 16:43  666K  
[   ] fricas-hypertex-data_1.3.11-2_all.deb       2024-07-29 01:59  664K  
[   ] fricas-hypertex-data_1.3.11-3_all.deb       2025-05-02 17:17  661K  
[   ] fricas-hypertex-data_1.3.7-5_all.deb        2022-01-27 19:24  670K  
[   ] fricas-hypertex_1.3.10-1build3_arm64.deb    2024-03-31 11:59   96K  
[   ] fricas-hypertex_1.3.10-1build3_armhf.deb    2024-03-31 10:12   85K  
[   ] fricas-hypertex_1.3.10-1build3_ppc64el.deb  2024-03-31 13:54  113K  
[   ] fricas-hypertex_1.3.10-1build3_riscv64.deb  2024-04-01 03:00  104K  
[   ] fricas-hypertex_1.3.10-1build3_s390x.deb    2024-03-31 09:15  109K  
[   ] fricas-hypertex_1.3.11-2_arm64.deb          2024-07-29 02:55   95K  
[   ] fricas-hypertex_1.3.11-2_armhf.deb          2024-07-29 02:55   84K  
[   ] fricas-hypertex_1.3.11-2_ppc64el.deb        2024-07-29 02:55  109K  
[   ] fricas-hypertex_1.3.11-2_riscv64.deb        2024-07-29 10:18  104K  
[   ] fricas-hypertex_1.3.11-2_s390x.deb          2024-07-29 02:55  106K  
[   ] fricas-hypertex_1.3.11-3_arm64.deb          2025-05-02 08:56   94K  
[   ] fricas-hypertex_1.3.11-3_armhf.deb          2025-05-02 08:57   84K  
[   ] fricas-hypertex_1.3.11-3_ppc64el.deb        2025-05-05 19:09  108K  
[   ] fricas-hypertex_1.3.11-3_riscv64.deb        2025-05-06 12:13  104K  
[   ] fricas-hypertex_1.3.11-3_s390x.deb          2025-05-02 23:16  105K  
[   ] fricas-hypertex_1.3.7-5_arm64.deb           2022-01-27 19:54   97K  
[   ] fricas-hypertex_1.3.7-5_armhf.deb           2022-01-27 20:33   85K  
[   ] fricas-hypertex_1.3.7-5_ppc64el.deb         2022-01-27 19:24  112K  
[   ] fricas-hypertex_1.3.7-5_riscv64.deb         2022-01-28 12:19   90K  
[   ] fricas-hypertex_1.3.7-5_s390x.deb           2022-01-27 19:25   99K  
[   ] fricas-source_1.3.10-1build3_all.deb        2024-04-01 16:43  1.3M  
[   ] fricas-source_1.3.11-2_all.deb              2024-07-29 01:59  1.3M  
[   ] fricas-source_1.3.11-3_all.deb              2025-05-02 17:17  1.3M  
[   ] fricas-source_1.3.7-5_all.deb               2022-01-27 19:24  1.3M  
[   ] fricas-test_1.3.10-1build3_all.deb          2024-04-01 16:43  159K  
[   ] fricas-test_1.3.11-2_all.deb                2024-07-29 01:59  157K  
[   ] fricas-test_1.3.11-3_all.deb                2025-05-02 17:17  157K  
[   ] fricas-test_1.3.7-5_all.deb                 2022-01-27 19:24  283K  
[   ] fricas_1.3.10-1build3_arm64.deb             2024-03-31 11:59   62M  
[   ] fricas_1.3.10-1build3_armhf.deb             2024-03-31 10:12   61M  
[   ] fricas_1.3.10-1build3_ppc64el.deb           2024-03-31 13:54   66M  
[   ] fricas_1.3.10-1build3_riscv64.deb           2024-04-01 03:00  198M  
[   ] fricas_1.3.10-1build3_s390x.deb             2024-03-31 09:15   64M  
[   ] fricas_1.3.11-2_arm64.deb                   2024-07-29 02:55   55M  
[   ] fricas_1.3.11-2_armhf.deb                   2024-07-29 02:55   55M  
[   ] fricas_1.3.11-2_ppc64el.deb                 2024-07-29 02:55   58M  
[   ] fricas_1.3.11-2_riscv64.deb                 2024-07-29 10:18  172M  
[   ] fricas_1.3.11-2_s390x.deb                   2024-07-29 02:55   57M  
[   ] fricas_1.3.11-3_arm64.deb                   2025-05-02 08:56   59M  
[   ] fricas_1.3.11-3_armhf.deb                   2025-05-02 08:57   58M  
[   ] fricas_1.3.11-3_ppc64el.deb                 2025-05-05 19:09   61M  
[   ] fricas_1.3.11-3_riscv64.deb                 2025-05-06 12:13  142M  
[   ] fricas_1.3.11-3_s390x.deb                   2025-05-02 23:16   60M  
[   ] fricas_1.3.7-5_arm64.deb                    2022-01-27 19:54   58M  
[   ] fricas_1.3.7-5_armhf.deb                    2022-01-27 20:34   58M  
[   ] fricas_1.3.7-5_ppc64el.deb                  2022-01-27 19:24   59M  
[   ] fricas_1.3.7-5_riscv64.deb                  2022-01-28 12:19  161M  
[   ] fricas_1.3.7-5_s390x.deb                    2022-01-27 19:25   57M
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80