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-3_all.deb          2026-10-06 19:52  149K  
[   ] 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-3_all.deb     2026-10-06 19:52  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-3_all.deb           2026-10-06 19:52  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-3_all.deb 2026-10-06 19:52  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-3_amd64.deb    2026-10-06 19:27  221K  
[   ] fricas-graphics_1.3.13-3_arm64.deb    2026-10-06 19:47  203K  
[   ] fricas-graphics_1.3.13-3_armhf.deb    2026-10-06 19:57  203K  
[   ] fricas-graphics_1.3.13-3_i386.deb     2026-10-06 19:32  223K  
[   ] fricas-graphics_1.3.13-3_loong64.deb  2026-10-06 21:34  212K  
[   ] fricas-graphics_1.3.13-3_ppc64el.deb  2026-10-06 20:12  216K  
[   ] fricas-graphics_1.3.13-3_riscv64.deb  2026-10-11 12:11  218K  
[   ] fricas-graphics_1.3.13-3_s390x.deb    2026-10-06 19:37  218K  
[   ] 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-3_all.deb 2026-10-06 19:52  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-3_amd64.deb    2026-10-06 19:27  190K  
[   ] fricas-hypertex_1.3.13-3_arm64.deb    2026-10-06 19:47  180K  
[   ] fricas-hypertex_1.3.13-3_armhf.deb    2026-10-06 19:57  178K  
[   ] fricas-hypertex_1.3.13-3_i386.deb     2026-10-06 19:32  196K  
[   ] fricas-hypertex_1.3.13-3_loong64.deb  2026-10-06 21:34  187K  
[   ] fricas-hypertex_1.3.13-3_ppc64el.deb  2026-10-06 20:12  192K  
[   ] fricas-hypertex_1.3.13-3_riscv64.deb  2026-10-11 12:11  191K  
[   ] fricas-hypertex_1.3.13-3_s390x.deb    2026-10-06 19:37  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-3_all.deb        2026-10-06 19:52  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-3_all.deb          2026-10-06 19:52  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-3.debian.tar.xz         2026-10-06 18:36  256K  
[TXT] fricas_1.3.13-3.dsc                   2026-10-06 18:36  2.3K  
[   ] fricas_1.3.13-3_amd64.deb             2026-10-06 19:27   69M  
[   ] fricas_1.3.13-3_arm64.deb             2026-10-06 19:47   60M  
[   ] fricas_1.3.13-3_armhf.deb             2026-10-06 19:57   58M  
[   ] fricas_1.3.13-3_i386.deb              2026-10-06 19:32   60M  
[   ] fricas_1.3.13-3_loong64.deb           2026-10-06 21:34   75M  
[   ] fricas_1.3.13-3_ppc64el.deb           2026-10-06 20:12   66M  
[   ] fricas_1.3.13-3_riscv64.deb           2026-10-11 12:11  163M  
[   ] fricas_1.3.13-3_s390x.deb             2026-10-06 19:37   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