Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] elpa-fricas_1.3.10-1build3_all.deb          2024-04-01 14:43   50K  
[   ] elpa-fricas_1.3.11-2_all.deb                2024-07-28 23:59   50K  
[   ] elpa-fricas_1.3.11-4_all.deb                2025-05-14 19:45   50K  
[   ] elpa-fricas_1.3.12-2_all.deb                2026-02-13 18:56   50K  
[   ] elpa-fricas_1.3.13-1_all.deb                2026-06-09 00:28   51K  
[   ] elpa-fricas_1.3.7-5_all.deb                 2022-01-27 18:24   50K  
[   ] fricas-databases_1.3.10-1build3_all.deb     2024-04-01 14:43  1.2M  
[   ] fricas-databases_1.3.11-2_all.deb           2024-07-28 23:59  1.1M  
[   ] fricas-databases_1.3.11-4_all.deb           2025-05-14 19:45  1.1M  
[   ] fricas-databases_1.3.12-2_all.deb           2026-02-13 18:56  1.1M  
[   ] fricas-databases_1.3.13-1_all.deb           2026-06-09 00:28  1.1M  
[   ] fricas-databases_1.3.7-5_all.deb            2022-01-27 18:24  1.1M  
[   ] fricas-doc_1.3.10-1build3_all.deb           2024-04-01 14:43  210K  
[   ] fricas-doc_1.3.11-2_all.deb                 2024-07-28 23:59  211K  
[   ] fricas-doc_1.3.11-4_all.deb                 2025-05-14 19:45  210K  
[   ] fricas-doc_1.3.12-2_all.deb                 2026-02-13 18:56  210K  
[   ] fricas-doc_1.3.13-1_all.deb                 2026-06-09 00:28  209K  
[   ] fricas-doc_1.3.7-5_all.deb                  2022-01-27 18:24  211K  
[   ] fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-01 14:43  1.2M  
[   ] fricas-graphics-data_1.3.11-2_all.deb       2024-07-28 23:59  1.2M  
[   ] fricas-graphics-data_1.3.11-4_all.deb       2025-05-14 19:45  1.2M  
[   ] fricas-graphics-data_1.3.12-2_all.deb       2026-02-13 18:56  1.2M  
[   ] fricas-graphics-data_1.3.13-1_all.deb       2026-06-09 00:28  1.2M  
[   ] fricas-graphics-data_1.3.7-5_all.deb        2022-01-27 18:24  1.2M  
[   ] fricas-graphics_1.3.10-1build3_amd64.deb    2024-04-01 14:43  125K  
[   ] fricas-graphics_1.3.11-2_amd64.deb          2024-07-28 23:59  127K  
[   ] fricas-graphics_1.3.11-4_amd64.deb          2025-05-14 19:45  126K  
[   ] fricas-graphics_1.3.11-4_arm64.deb          2025-05-14 19:45  125K  
[   ] fricas-graphics_1.3.12-2_amd64.deb          2026-02-13 18:56  127K  
[   ] fricas-graphics_1.3.12-2_amd64v3.deb        2026-02-13 18:56  128K  
[   ] fricas-graphics_1.3.12-2_arm64.deb          2026-02-13 18:56  121K  
[   ] fricas-graphics_1.3.13-1_amd64.deb          2026-06-09 00:28  127K  
[   ] fricas-graphics_1.3.13-1_amd64v3.deb        2026-06-09 00:28  128K  
[   ] fricas-graphics_1.3.13-1_arm64.deb          2026-06-09 02:30  121K  
[   ] fricas-graphics_1.3.7-5_amd64.deb           2022-01-27 18:24  127K  
[   ] fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-01 14:43  666K  
[   ] fricas-hypertex-data_1.3.11-2_all.deb       2024-07-28 23:59  664K  
[   ] fricas-hypertex-data_1.3.11-4_all.deb       2025-05-14 19:45  661K  
[   ] fricas-hypertex-data_1.3.12-2_all.deb       2026-02-13 18:56  660K  
[   ] fricas-hypertex-data_1.3.13-1_all.deb       2026-06-09 00:28  660K  
[   ] fricas-hypertex-data_1.3.7-5_all.deb        2022-01-27 18:24  670K  
[   ] fricas-hypertex_1.3.10-1build3_amd64.deb    2024-04-01 14:43   96K  
[   ] fricas-hypertex_1.3.11-2_amd64.deb          2024-07-28 23:59   95K  
[   ] fricas-hypertex_1.3.11-4_amd64.deb          2025-05-14 19:45   95K  
[   ] fricas-hypertex_1.3.11-4_arm64.deb          2025-05-14 19:45   94K  
[   ] fricas-hypertex_1.3.12-2_amd64.deb          2026-02-13 18:56   96K  
[   ] fricas-hypertex_1.3.12-2_amd64v3.deb        2026-02-13 18:56   96K  
[   ] fricas-hypertex_1.3.12-2_arm64.deb          2026-02-13 18:56   93K  
[   ] fricas-hypertex_1.3.13-1_amd64.deb          2026-06-09 00:28   96K  
[   ] fricas-hypertex_1.3.13-1_amd64v3.deb        2026-06-09 00:28   96K  
[   ] fricas-hypertex_1.3.13-1_arm64.deb          2026-06-09 02:30   93K  
[   ] fricas-hypertex_1.3.7-5_amd64.deb           2022-01-27 18:24   98K  
[   ] fricas-source_1.3.10-1build3_all.deb        2024-04-01 14:43  1.3M  
[   ] fricas-source_1.3.11-2_all.deb              2024-07-28 23:59  1.3M  
[   ] fricas-source_1.3.11-4_all.deb              2025-05-14 19:45  1.3M  
[   ] fricas-source_1.3.12-2_all.deb              2026-02-13 18:56  1.3M  
[   ] fricas-source_1.3.13-1_all.deb              2026-06-09 00:28  1.4M  
[   ] fricas-source_1.3.7-5_all.deb               2022-01-27 18:24  1.3M  
[   ] fricas-test_1.3.10-1build3_all.deb          2024-04-01 14:43  159K  
[   ] fricas-test_1.3.11-2_all.deb                2024-07-28 23:59  157K  
[   ] fricas-test_1.3.11-4_all.deb                2025-05-14 19:45  157K  
[   ] fricas-test_1.3.12-2_all.deb                2026-02-13 18:56  157K  
[   ] fricas-test_1.3.13-1_all.deb                2026-06-09 00:28  158K  
[   ] fricas-test_1.3.7-5_all.deb                 2022-01-27 18:24  283K  
[   ] fricas_1.3.10-1build3.debian.tar.xz         2024-03-31 06:12  241K  
[TXT] fricas_1.3.10-1build3.dsc                   2024-03-31 06:12  2.4K  
[   ] fricas_1.3.10-1build3_amd64.deb             2024-04-01 14:43   63M  
[   ] fricas_1.3.10.orig.tar.bz2                  2024-02-15 12:29   10M  
[   ] fricas_1.3.11-2.debian.tar.xz               2024-07-28 23:59  241K  
[TXT] fricas_1.3.11-2.dsc                         2024-07-28 23:59  2.3K  
[   ] fricas_1.3.11-2_amd64.deb                   2024-07-28 23:59   57M  
[   ] fricas_1.3.11-4.debian.tar.xz               2025-05-14 18:05  256K  
[TXT] fricas_1.3.11-4.dsc                         2025-05-14 18:05  2.3K  
[   ] fricas_1.3.11-4_amd64.deb                   2025-05-14 19:45   58M  
[   ] fricas_1.3.11-4_arm64.deb                   2025-05-14 19:45   57M  
[   ] fricas_1.3.11.orig.tar.bz2                  2024-06-30 23:49   10M  
[   ] fricas_1.3.12-2.debian.tar.xz               2026-02-13 17:37  256K  
[TXT] fricas_1.3.12-2.dsc                         2026-02-13 17:37  2.3K  
[   ] fricas_1.3.12-2_amd64.deb                   2026-02-13 18:56   60M  
[   ] fricas_1.3.12-2_amd64v3.deb                 2026-02-13 18:56   60M  
[   ] fricas_1.3.12-2_arm64.deb                   2026-02-13 18:56   59M  
[   ] fricas_1.3.12.orig.tar.bz2                  2026-02-13 01:07   10M  
[   ] fricas_1.3.13-1.debian.tar.xz               2026-06-08 23:39  256K  
[TXT] fricas_1.3.13-1.dsc                         2026-06-08 23:39  2.3K  
[   ] fricas_1.3.13-1_amd64.deb                   2026-06-09 00:28   75M  
[   ] fricas_1.3.13-1_amd64v3.deb                 2026-06-09 00:28   75M  
[   ] fricas_1.3.13-1_arm64.deb                   2026-06-09 02:31   68M  
[   ] fricas_1.3.13.orig.tar.bz2                  2026-06-08 23:39   10M  
[   ] fricas_1.3.7-5.debian.tar.xz                2022-01-27 17:14   97K  
[TXT] fricas_1.3.7-5.dsc                          2022-01-27 17:14  2.3K  
[   ] fricas_1.3.7-5_amd64.deb                    2022-01-27 18:24   60M  
[   ] fricas_1.3.7.orig.tar.bz2                   2021-07-01 23:13   10M