Name                                  Last modified      Size  
 Parent Directory                                           -   
 elpa-fricas_1.3.11-2_all.deb          2024-07-28 19:33  144K  
 elpa-fricas_1.3.6-6_all.deb           2021-04-24 16:32  129K  
 elpa-fricas_1.3.8-6_all.deb           2023-01-14 03:42  134K  
 fricas-databases_1.3.11-2_all.deb     2024-07-28 19:33  1.3M  
 fricas-databases_1.3.6-6_all.deb      2021-04-24 16:32  1.2M  
 fricas-databases_1.3.8-6_all.deb      2023-01-14 03:42  1.3M  
 fricas-doc_1.3.11-2_all.deb           2024-07-28 19:33  297K  
 fricas-doc_1.3.6-6_all.deb            2021-04-24 16:32  285K  
 fricas-doc_1.3.8-6_all.deb            2023-01-14 03:42  288K  
 fricas-graphics-data_1.3.11-2_all.deb 2024-07-28 19:33  1.3M  
 fricas-graphics-data_1.3.6-6_all.deb  2021-04-24 16:32  1.2M  
 fricas-graphics-data_1.3.8-6_all.deb  2023-01-14 03:42  1.3M  
 fricas-graphics_1.3.11-2_amd64.deb    2024-07-28 19:33  216K  
 fricas-graphics_1.3.11-2_arm64.deb    2024-07-28 20:24  204K  
 fricas-graphics_1.3.11-2_armel.deb    2024-07-28 19:43  202K  
 fricas-graphics_1.3.11-2_armhf.deb    2024-07-28 19:38  200K  
 fricas-graphics_1.3.11-2_i386.deb     2024-07-28 19:38  216K  
 fricas-graphics_1.3.11-2_mips64el.deb 2024-07-31 12:41  209K  
 fricas-graphics_1.3.11-2_ppc64el.deb  2024-07-28 19:38  212K  
 fricas-graphics_1.3.11-2_riscv64.deb  2024-07-29 06:12  220K  
 fricas-graphics_1.3.11-2_s390x.deb    2024-07-28 23:22  216K  
 fricas-graphics_1.3.6-6_amd64.deb     2021-04-24 16:43  200K  
 fricas-graphics_1.3.6-6_arm64.deb     2021-04-24 17:13  189K  
 fricas-graphics_1.3.6-6_armel.deb     2021-04-24 17:29  187K  
 fricas-graphics_1.3.6-6_armhf.deb     2021-04-24 20:43  185K  
 fricas-graphics_1.3.6-6_i386.deb      2021-04-24 16:38  200K  
 fricas-graphics_1.3.6-6_mips64el.deb  2021-04-25 01:12  195K  
 fricas-graphics_1.3.6-6_mipsel.deb    2021-04-25 06:13  195K  
 fricas-graphics_1.3.6-6_ppc64el.deb   2021-04-24 16:58  198K  
 fricas-graphics_1.3.6-6_s390x.deb     2021-04-24 20:58  188K  
 fricas-graphics_1.3.8-6_amd64.deb     2023-01-14 03:41   91K  
 fricas-graphics_1.3.8-6_arm64.deb     2023-01-14 04:42   91K  
 fricas-graphics_1.3.8-6_armel.deb     2023-01-14 05:13   91K  
 fricas-graphics_1.3.8-6_armhf.deb     2023-01-14 05:13   91K  
 fricas-graphics_1.3.8-6_i386.deb      2023-01-14 03:36   91K  
 fricas-graphics_1.3.8-6_mips64el.deb  2023-01-16 12:27   91K  
 fricas-graphics_1.3.8-6_mipsel.deb    2023-01-16 02:14   91K  
 fricas-graphics_1.3.8-6_ppc64el.deb   2023-01-15 18:59   91K  
 fricas-graphics_1.3.8-6_s390x.deb     2023-01-14 03:57   91K  
 fricas-hypertex-data_1.3.11-2_all.deb 2024-07-28 19:33  723K  
 fricas-hypertex-data_1.3.6-6_all.deb  2021-04-24 16:32  725K  
 fricas-hypertex-data_1.3.8-6_all.deb  2023-01-14 03:42  688K  
 fricas-hypertex_1.3.11-2_amd64.deb    2024-07-28 19:33  185K  
 fricas-hypertex_1.3.11-2_arm64.deb    2024-07-28 20:24  179K  
 fricas-hypertex_1.3.11-2_armel.deb    2024-07-28 19:43  174K  
 fricas-hypertex_1.3.11-2_armhf.deb    2024-07-28 19:38  173K  
 fricas-hypertex_1.3.11-2_i386.deb     2024-07-28 19:38  189K  
 fricas-hypertex_1.3.11-2_mips64el.deb 2024-07-31 12:41  184K  
 fricas-hypertex_1.3.11-2_ppc64el.deb  2024-07-28 19:38  189K  
 fricas-hypertex_1.3.11-2_riscv64.deb  2024-07-29 06:12  189K  
 fricas-hypertex_1.3.11-2_s390x.deb    2024-07-28 23:22  187K  
 fricas-hypertex_1.3.6-6_amd64.deb     2021-04-24 16:43  172K  
 fricas-hypertex_1.3.6-6_arm64.deb     2021-04-24 17:13  167K  
 fricas-hypertex_1.3.6-6_armel.deb     2021-04-24 17:29  161K  
 fricas-hypertex_1.3.6-6_armhf.deb     2021-04-24 20:43  161K  
 fricas-hypertex_1.3.6-6_i386.deb      2021-04-24 16:38  177K  
 fricas-hypertex_1.3.6-6_mips64el.deb  2021-04-25 01:12  172K  
 fricas-hypertex_1.3.6-6_mipsel.deb    2021-04-25 06:13  172K  
 fricas-hypertex_1.3.6-6_ppc64el.deb   2021-04-24 16:58  178K  
 fricas-hypertex_1.3.6-6_s390x.deb     2021-04-24 20:58  167K  
 fricas-hypertex_1.3.8-6_amd64.deb     2023-01-14 03:41   91K  
 fricas-hypertex_1.3.8-6_arm64.deb     2023-01-14 04:42   91K  
 fricas-hypertex_1.3.8-6_armel.deb     2023-01-14 05:13   91K  
 fricas-hypertex_1.3.8-6_armhf.deb     2023-01-14 05:13   91K  
 fricas-hypertex_1.3.8-6_i386.deb      2023-01-14 03:36   91K  
 fricas-hypertex_1.3.8-6_mips64el.deb  2023-01-16 12:27   91K  
 fricas-hypertex_1.3.8-6_mipsel.deb    2023-01-16 02:14   91K  
 fricas-hypertex_1.3.8-6_ppc64el.deb   2023-01-15 18:59   91K  
 fricas-hypertex_1.3.8-6_s390x.deb     2023-01-14 03:57   91K  
 fricas-source_1.3.11-2_all.deb        2024-07-28 19:33  1.4M  
 fricas-source_1.3.6-6_all.deb         2021-04-24 16:32  1.3M  
 fricas-source_1.3.8-6_all.deb         2023-01-14 03:42  1.4M  
 fricas-test_1.3.11-2_all.deb          2024-07-28 19:33  246K  
 fricas-test_1.3.6-6_all.deb           2021-04-24 16:32  353K  
 fricas-test_1.3.8-6_all.deb           2023-01-14 03:42  252K  
 fricas_1.3.11-2.debian.tar.xz         2024-07-28 18:32  241K  
 fricas_1.3.11-2.dsc                   2024-07-28 18:32  2.3K  
 fricas_1.3.11-2_amd64.deb             2024-07-28 19:33   51M  
 fricas_1.3.11-2_arm64.deb             2024-07-28 20:24   48M  
 fricas_1.3.11-2_armel.deb             2024-07-28 19:43   46M  
 fricas_1.3.11-2_armhf.deb             2024-07-28 19:38   49M  
 fricas_1.3.11-2_i386.deb              2024-07-28 19:38   49M  
 fricas_1.3.11-2_mips64el.deb          2024-07-31 12:41   51M  
 fricas_1.3.11-2_ppc64el.deb           2024-07-28 19:38   49M  
 fricas_1.3.11-2_riscv64.deb           2024-07-29 06:12  126M  
 fricas_1.3.11-2_s390x.deb             2024-07-28 23:22   50M  
 fricas_1.3.11.orig.tar.bz2            2024-06-30 19:38   10M  
 fricas_1.3.6-6.debian.tar.xz          2021-04-24 15:42   65K  
 fricas_1.3.6-6.dsc                    2021-04-24 15:42  2.3K  
 fricas_1.3.6-6_amd64.deb              2021-04-24 16:43   52M  
 fricas_1.3.6-6_arm64.deb              2021-04-24 17:13   49M  
 fricas_1.3.6-6_armel.deb              2021-04-24 17:29   46M  
 fricas_1.3.6-6_armhf.deb              2021-04-24 20:43   48M  
 fricas_1.3.6-6_i386.deb               2021-04-24 16:38   51M  
 fricas_1.3.6-6_mips64el.deb           2021-04-25 01:12   51M  
 fricas_1.3.6-6_mipsel.deb             2021-04-25 06:13   49M  
 fricas_1.3.6-6_ppc64el.deb            2021-04-24 16:58   51M  
 fricas_1.3.6-6_s390x.deb              2021-04-24 20:58   47M  
 fricas_1.3.6.orig.tar.bz2             2020-11-23 16:51  9.9M  
 fricas_1.3.8-6.debian.tar.xz          2023-01-14 01:19  239K  
 fricas_1.3.8-6.dsc                    2023-01-14 01:19  2.3K  
 fricas_1.3.8-6_amd64.deb              2023-01-14 03:41   55M  
 fricas_1.3.8-6_arm64.deb              2023-01-14 04:42   52M  
 fricas_1.3.8-6_armel.deb              2023-01-14 05:13   50M  
 fricas_1.3.8-6_armhf.deb              2023-01-14 05:13   52M  
 fricas_1.3.8-6_i386.deb               2023-01-14 03:36   53M  
 fricas_1.3.8-6_mips64el.deb           2023-01-16 12:27   55M  
 fricas_1.3.8-6_mipsel.deb             2023-01-16 02:14   54M  
 fricas_1.3.8-6_ppc64el.deb            2023-01-15 18:59   52M  
 fricas_1.3.8-6_s390x.deb              2023-01-14 03:57   51M  
 fricas_1.3.8.orig.tar.bz2             2022-07-07 20:49   10M