Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] elpa-fricas_1.3.11-3_all.deb          2025-04-27 02:24  144K  
[   ] elpa-fricas_1.3.13-1_all.deb          2026-06-08 15:08  148K  
[   ] elpa-fricas_1.3.6-6_all.deb           2021-04-24 14:32  129K  
[   ] elpa-fricas_1.3.8-6_all.deb           2023-01-14 02:42  134K  
[   ] fricas-databases_1.3.11-3_all.deb     2025-04-27 02:24  1.3M  
[   ] fricas-databases_1.3.13-1_all.deb     2026-06-08 15:08  1.3M  
[   ] fricas-databases_1.3.6-6_all.deb      2021-04-24 14:32  1.2M  
[   ] fricas-databases_1.3.8-6_all.deb      2023-01-14 02:42  1.3M  
[   ] fricas-doc_1.3.11-3_all.deb           2025-04-27 02:24  297K  
[   ] fricas-doc_1.3.13-1_all.deb           2026-06-08 15:08  300K  
[   ] fricas-doc_1.3.6-6_all.deb            2021-04-24 14:32  285K  
[   ] fricas-doc_1.3.8-6_all.deb            2023-01-14 02:42  288K  
[   ] fricas-graphics-data_1.3.11-3_all.deb 2025-04-27 02:24  1.3M  
[   ] fricas-graphics-data_1.3.13-1_all.deb 2026-06-08 15:08  1.3M  
[   ] fricas-graphics-data_1.3.6-6_all.deb  2021-04-24 14:32  1.2M  
[   ] fricas-graphics-data_1.3.8-6_all.deb  2023-01-14 02:42  1.3M  
[   ] fricas-graphics_1.3.11-3_amd64.deb    2025-04-27 02:24  216K  
[   ] fricas-graphics_1.3.11-3_arm64.deb    2025-04-27 02:24  204K  
[   ] fricas-graphics_1.3.11-3_armel.deb    2025-04-27 02:24  202K  
[   ] fricas-graphics_1.3.11-3_armhf.deb    2025-04-27 03:15  200K  
[   ] fricas-graphics_1.3.11-3_i386.deb     2025-04-27 02:09  216K  
[   ] fricas-graphics_1.3.11-3_ppc64el.deb  2025-04-27 02:19  212K  
[   ] fricas-graphics_1.3.11-3_riscv64.deb  2025-04-27 08:36  220K  
[   ] fricas-graphics_1.3.11-3_s390x.deb    2025-04-27 02:14  216K  
[   ] fricas-graphics_1.3.13-1_amd64.deb    2026-06-08 15:08  219K  
[   ] fricas-graphics_1.3.13-1_arm64.deb    2026-06-08 15:03  203K  
[   ] fricas-graphics_1.3.13-1_armhf.deb    2026-06-08 15:13  204K  
[   ] fricas-graphics_1.3.13-1_i386.deb     2026-06-08 15:13  220K  
[   ] fricas-graphics_1.3.13-1_loong64.deb  2026-06-08 16:54  213K  
[   ] fricas-graphics_1.3.13-1_ppc64el.deb  2026-06-08 15:23  216K  
[   ] fricas-graphics_1.3.13-1_riscv64.deb  2026-06-09 16:43  218K  
[   ] fricas-graphics_1.3.13-1_s390x.deb    2026-06-08 14:58  219K  
[   ] fricas-graphics_1.3.6-6_amd64.deb     2021-04-24 14:43  200K  
[   ] fricas-graphics_1.3.6-6_arm64.deb     2021-04-24 15:13  189K  
[   ] fricas-graphics_1.3.6-6_armhf.deb     2021-04-24 18:43  185K  
[   ] fricas-graphics_1.3.6-6_i386.deb      2021-04-24 14:38  200K  
[   ] fricas-graphics_1.3.8-6_amd64.deb     2023-01-14 02:41   91K  
[   ] fricas-graphics_1.3.8-6_arm64.deb     2023-01-14 03:42   91K  
[   ] fricas-graphics_1.3.8-6_armel.deb     2023-01-14 04:13   91K  
[   ] fricas-graphics_1.3.8-6_armhf.deb     2023-01-14 04:13   91K  
[   ] fricas-graphics_1.3.8-6_i386.deb      2023-01-14 02:36   91K  
[   ] fricas-graphics_1.3.8-6_mips64el.deb  2023-01-16 11:27   91K  
[   ] fricas-graphics_1.3.8-6_mipsel.deb    2023-01-16 01:14   91K  
[   ] fricas-graphics_1.3.8-6_ppc64el.deb   2023-01-15 17:59   91K  
[   ] fricas-graphics_1.3.8-6_s390x.deb     2023-01-14 02:57   91K  
[   ] fricas-hypertex-data_1.3.11-3_all.deb 2025-04-27 02:24  723K  
[   ] fricas-hypertex-data_1.3.13-1_all.deb 2026-06-08 15:08  727K  
[   ] fricas-hypertex-data_1.3.6-6_all.deb  2021-04-24 14:32  725K  
[   ] fricas-hypertex-data_1.3.8-6_all.deb  2023-01-14 02:42  688K  
[   ] fricas-hypertex_1.3.11-3_amd64.deb    2025-04-27 02:24  185K  
[   ] fricas-hypertex_1.3.11-3_arm64.deb    2025-04-27 02:24  179K  
[   ] fricas-hypertex_1.3.11-3_armel.deb    2025-04-27 02:24  174K  
[   ] fricas-hypertex_1.3.11-3_armhf.deb    2025-04-27 03:15  174K  
[   ] fricas-hypertex_1.3.11-3_i386.deb     2025-04-27 02:09  189K  
[   ] fricas-hypertex_1.3.11-3_ppc64el.deb  2025-04-27 02:19  189K  
[   ] fricas-hypertex_1.3.11-3_riscv64.deb  2025-04-27 08:36  189K  
[   ] fricas-hypertex_1.3.11-3_s390x.deb    2025-04-27 02:14  186K  
[   ] fricas-hypertex_1.3.13-1_amd64.deb    2026-06-08 15:08  189K  
[   ] fricas-hypertex_1.3.13-1_arm64.deb    2026-06-08 15:03  180K  
[   ] fricas-hypertex_1.3.13-1_armhf.deb    2026-06-08 15:13  178K  
[   ] fricas-hypertex_1.3.13-1_i386.deb     2026-06-08 15:13  193K  
[   ] fricas-hypertex_1.3.13-1_loong64.deb  2026-06-08 16:54  188K  
[   ] fricas-hypertex_1.3.13-1_ppc64el.deb  2026-06-08 15:23  193K  
[   ] fricas-hypertex_1.3.13-1_riscv64.deb  2026-06-09 16:43  190K  
[   ] fricas-hypertex_1.3.13-1_s390x.deb    2026-06-08 14:58  189K  
[   ] fricas-hypertex_1.3.6-6_amd64.deb     2021-04-24 14:43  172K  
[   ] fricas-hypertex_1.3.6-6_arm64.deb     2021-04-24 15:13  167K  
[   ] fricas-hypertex_1.3.6-6_armhf.deb     2021-04-24 18:43  161K  
[   ] fricas-hypertex_1.3.6-6_i386.deb      2021-04-24 14:38  177K  
[   ] fricas-hypertex_1.3.8-6_amd64.deb     2023-01-14 02:41   91K  
[   ] fricas-hypertex_1.3.8-6_arm64.deb     2023-01-14 03:42   91K  
[   ] fricas-hypertex_1.3.8-6_armel.deb     2023-01-14 04:13   91K  
[   ] fricas-hypertex_1.3.8-6_armhf.deb     2023-01-14 04:13   91K  
[   ] fricas-hypertex_1.3.8-6_i386.deb      2023-01-14 02:36   91K  
[   ] fricas-hypertex_1.3.8-6_mips64el.deb  2023-01-16 11:27   91K  
[   ] fricas-hypertex_1.3.8-6_mipsel.deb    2023-01-16 01:14   91K  
[   ] fricas-hypertex_1.3.8-6_ppc64el.deb   2023-01-15 17:59   91K  
[   ] fricas-hypertex_1.3.8-6_s390x.deb     2023-01-14 02:57   91K  
[   ] fricas-source_1.3.11-3_all.deb        2025-04-27 02:24  1.4M  
[   ] fricas-source_1.3.13-1_all.deb        2026-06-08 15:08  1.4M  
[   ] fricas-source_1.3.6-6_all.deb         2021-04-24 14:32  1.3M  
[   ] fricas-source_1.3.8-6_all.deb         2023-01-14 02:42  1.4M  
[   ] fricas-test_1.3.11-3_all.deb          2025-04-27 02:24  246K  
[   ] fricas-test_1.3.13-1_all.deb          2026-06-08 15:08  251K  
[   ] fricas-test_1.3.6-6_all.deb           2021-04-24 14:32  353K  
[   ] fricas-test_1.3.8-6_all.deb           2023-01-14 02:42  252K  
[   ] fricas_1.3.11-3.debian.tar.xz         2025-04-27 01:29  255K  
[TXT] fricas_1.3.11-3.dsc                   2025-04-27 01:29  2.3K  
[   ] fricas_1.3.11-3_amd64.deb             2025-04-27 02:24   53M  
[   ] fricas_1.3.11-3_arm64.deb             2025-04-27 02:24   51M  
[   ] fricas_1.3.11-3_armel.deb             2025-04-27 02:24   48M  
[   ] fricas_1.3.11-3_armhf.deb             2025-04-27 03:15   50M  
[   ] fricas_1.3.11-3_i386.deb              2025-04-27 02:09   48M  
[   ] fricas_1.3.11-3_ppc64el.deb           2025-04-27 02:19   53M  
[   ] fricas_1.3.11-3_riscv64.deb           2025-04-27 08:36  107M  
[   ] fricas_1.3.11-3_s390x.deb             2025-04-27 02:14   53M  
[   ] fricas_1.3.11.orig.tar.bz2            2024-06-30 17:38   10M  
[   ] fricas_1.3.13-1.debian.tar.xz         2026-06-08 13:47  256K  
[TXT] fricas_1.3.13-1.dsc                   2026-06-08 13:47  2.3K  
[   ] fricas_1.3.13-1_amd64.deb             2026-06-08 15:08   67M  
[   ] fricas_1.3.13-1_arm64.deb             2026-06-08 15:03   60M  
[   ] fricas_1.3.13-1_armhf.deb             2026-06-08 15:13   58M  
[   ] fricas_1.3.13-1_i386.deb              2026-06-08 15:13   59M  
[   ] fricas_1.3.13-1_loong64.deb           2026-06-08 16:54   74M  
[   ] fricas_1.3.13-1_ppc64el.deb           2026-06-08 15:23   65M  
[   ] fricas_1.3.13-1_riscv64.deb           2026-06-09 16:43  160M  
[   ] fricas_1.3.13-1_s390x.deb             2026-06-08 14:58   63M  
[   ] fricas_1.3.13.orig.tar.bz2            2026-06-08 13:47   10M  
[   ] fricas_1.3.6-6.debian.tar.xz          2021-04-24 13:42   65K  
[TXT] fricas_1.3.6-6.dsc                    2021-04-24 13:42  2.3K  
[   ] fricas_1.3.6-6_amd64.deb              2021-04-24 14:43   52M  
[   ] fricas_1.3.6-6_arm64.deb              2021-04-24 15:13   49M  
[   ] fricas_1.3.6-6_armhf.deb              2021-04-24 18:43   48M  
[   ] fricas_1.3.6-6_i386.deb               2021-04-24 14:38   51M  
[   ] fricas_1.3.6.orig.tar.bz2             2020-11-23 15:51  9.9M  
[   ] fricas_1.3.8-6.debian.tar.xz          2023-01-14 00:19  239K  
[TXT] fricas_1.3.8-6.dsc                    2023-01-14 00:19  2.3K  
[   ] fricas_1.3.8-6_amd64.deb              2023-01-14 02:41   55M  
[   ] fricas_1.3.8-6_arm64.deb              2023-01-14 03:42   52M  
[   ] fricas_1.3.8-6_armel.deb              2023-01-14 04:13   50M  
[   ] fricas_1.3.8-6_armhf.deb              2023-01-14 04:13   52M  
[   ] fricas_1.3.8-6_i386.deb               2023-01-14 02:36   53M  
[   ] fricas_1.3.8-6_mips64el.deb           2023-01-16 11:27   55M  
[   ] fricas_1.3.8-6_mipsel.deb             2023-01-16 01:14   54M  
[   ] fricas_1.3.8-6_ppc64el.deb            2023-01-15 17:59   52M  
[   ] fricas_1.3.8-6_s390x.deb              2023-01-14 02:57   51M  
[   ] fricas_1.3.8.orig.tar.bz2             2022-07-07 18:49   10M