Name                                  Last modified      Size  
 Parent Directory                                           -   
 elpa-fricas_1.3.11-3_all.deb          2025-04-27 04:24  144K  
 elpa-fricas_1.3.12-2_all.deb          2026-02-13 18:14  147K  
 elpa-fricas_1.3.13-1_all.deb          2026-06-08 17:08  148K  
 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-3_all.deb     2025-04-27 04:24  1.3M  
 fricas-databases_1.3.12-2_all.deb     2026-02-13 18:14  1.3M  
 fricas-databases_1.3.13-1_all.deb     2026-06-08 17:08  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-3_all.deb           2025-04-27 04:24  297K  
 fricas-doc_1.3.12-2_all.deb           2026-02-13 18:14  300K  
 fricas-doc_1.3.13-1_all.deb           2026-06-08 17:08  300K  
 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-3_all.deb 2025-04-27 04:24  1.3M  
 fricas-graphics-data_1.3.12-2_all.deb 2026-02-13 18:14  1.3M  
 fricas-graphics-data_1.3.13-1_all.deb 2026-06-08 17:08  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-3_amd64.deb    2025-04-27 04:24  216K  
 fricas-graphics_1.3.11-3_armhf.deb    2025-04-27 05:15  200K  
 fricas-graphics_1.3.11-3_i386.deb     2025-04-27 04:09  216K  
 fricas-graphics_1.3.12-2_amd64.deb    2026-02-13 22:29  217K  
 fricas-graphics_1.3.12-2_armhf.deb    2026-02-13 14:25  202K  
 fricas-graphics_1.3.12-2_i386.deb     2026-02-14 01:24  219K  
 fricas-graphics_1.3.13-1_amd64.deb    2026-06-08 17:08  219K  
 fricas-graphics_1.3.13-1_armhf.deb    2026-06-08 17:13  204K  
 fricas-graphics_1.3.13-1_i386.deb     2026-06-08 17:13  220K  
 fricas-graphics_1.3.6-6_amd64.deb     2021-04-24 16:43  200K  
 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.8-6_amd64.deb     2023-01-14 03:41   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-hypertex-data_1.3.11-3_all.deb 2025-04-27 04:24  723K  
 fricas-hypertex-data_1.3.12-2_all.deb 2026-02-13 18:14  726K  
 fricas-hypertex-data_1.3.13-1_all.deb 2026-06-08 17:08  727K  
 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-3_amd64.deb    2025-04-27 04:24  185K  
 fricas-hypertex_1.3.11-3_armhf.deb    2025-04-27 05:15  174K  
 fricas-hypertex_1.3.11-3_i386.deb     2025-04-27 04:09  189K  
 fricas-hypertex_1.3.12-2_amd64.deb    2026-02-13 22:29  187K  
 fricas-hypertex_1.3.12-2_armhf.deb    2026-02-13 14:25  176K  
 fricas-hypertex_1.3.12-2_i386.deb     2026-02-14 01:24  192K  
 fricas-hypertex_1.3.13-1_amd64.deb    2026-06-08 17:08  189K  
 fricas-hypertex_1.3.13-1_armhf.deb    2026-06-08 17:13  178K  
 fricas-hypertex_1.3.13-1_i386.deb     2026-06-08 17:13  193K  
 fricas-hypertex_1.3.6-6_amd64.deb     2021-04-24 16:43  172K  
 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.8-6_amd64.deb     2023-01-14 03:41   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-source_1.3.11-3_all.deb        2025-04-27 04:24  1.4M  
 fricas-source_1.3.12-2_all.deb        2026-02-13 18:14  1.4M  
 fricas-source_1.3.13-1_all.deb        2026-06-08 17:08  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-3_all.deb          2025-04-27 04:24  246K  
 fricas-test_1.3.12-2_all.deb          2026-02-13 18:14  249K  
 fricas-test_1.3.13-1_all.deb          2026-06-08 17:08  251K  
 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-3.debian.tar.xz         2025-04-27 03:29  255K  
 fricas_1.3.11-3.dsc                   2025-04-27 03:29  2.3K  
 fricas_1.3.11-3_amd64.deb             2025-04-27 04:24   53M  
 fricas_1.3.11-3_armhf.deb             2025-04-27 05:15   50M  
 fricas_1.3.11-3_i386.deb              2025-04-27 04:09   48M  
 fricas_1.3.11.orig.tar.bz2            2024-06-30 19:38   10M  
 fricas_1.3.12-2.debian.tar.xz         2026-02-13 12:48  256K  
 fricas_1.3.12-2.dsc                   2026-02-13 12:48  2.3K  
 fricas_1.3.12-2_amd64.deb             2026-02-13 22:29   54M  
 fricas_1.3.12-2_armhf.deb             2026-02-13 14:25   49M  
 fricas_1.3.12-2_i386.deb              2026-02-14 01:24   50M  
 fricas_1.3.12.orig.tar.bz2            2026-02-12 19:18   10M  
 fricas_1.3.13-1.debian.tar.xz         2026-06-08 15:47  256K  
 fricas_1.3.13-1.dsc                   2026-06-08 15:47  2.3K  
 fricas_1.3.13-1_amd64.deb             2026-06-08 17:08   67M  
 fricas_1.3.13-1_armhf.deb             2026-06-08 17:13   58M  
 fricas_1.3.13-1_i386.deb              2026-06-08 17:13   59M  
 fricas_1.3.13.orig.tar.bz2            2026-06-08 15:47   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_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.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_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.orig.tar.bz2             2022-07-07 20:49   10M