Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 elpa-fricas_1.3.10-1build3_all.deb          2024-04-01 10:43   50K  Debian/Ubuntu Packages
 elpa-fricas_1.3.11-1_all.deb                2024-06-30 20:54   50K  Debian/Ubuntu Packages
 elpa-fricas_1.3.7-5_all.deb                 2022-01-27 13:24   50K  Debian/Ubuntu Packages
 elpa-fricas_1.3.8-6_all.deb                 2023-01-14 04:29   49K  Debian/Ubuntu Packages
 elpa-fricas_1.3.8-8_all.deb                 2023-06-13 20:04   49K  Debian/Ubuntu Packages
 fricas-databases_1.3.10-1build3_all.deb     2024-04-01 10:43  1.2M  Debian/Ubuntu Packages
 fricas-databases_1.3.11-1_all.deb           2024-06-30 20:54  1.1M  Debian/Ubuntu Packages
 fricas-databases_1.3.7-5_all.deb            2022-01-27 13:24  1.1M  Debian/Ubuntu Packages
 fricas-databases_1.3.8-6_all.deb            2023-01-14 04:29  1.1M  Debian/Ubuntu Packages
 fricas-databases_1.3.8-8_all.deb            2023-06-13 20:04  1.1M  Debian/Ubuntu Packages
 fricas-doc_1.3.10-1build3_all.deb           2024-04-01 10:43  210K  Debian/Ubuntu Packages
 fricas-doc_1.3.11-1_all.deb                 2024-06-30 20:54  211K  Debian/Ubuntu Packages
 fricas-doc_1.3.7-5_all.deb                  2022-01-27 13:24  211K  Debian/Ubuntu Packages
 fricas-doc_1.3.8-6_all.deb                  2023-01-14 04:29  210K  Debian/Ubuntu Packages
 fricas-doc_1.3.8-8_all.deb                  2023-06-13 20:04  210K  Debian/Ubuntu Packages
 fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-01 10:43  1.2M  Debian/Ubuntu Packages
 fricas-graphics-data_1.3.11-1_all.deb       2024-06-30 20:54  1.2M  Debian/Ubuntu Packages
 fricas-graphics-data_1.3.7-5_all.deb        2022-01-27 13:24  1.2M  Debian/Ubuntu Packages
 fricas-graphics-data_1.3.8-6_all.deb        2023-01-14 04:29  1.2M  Debian/Ubuntu Packages
 fricas-graphics-data_1.3.8-8_all.deb        2023-06-13 20:04  1.2M  Debian/Ubuntu Packages
 fricas-graphics_1.3.10-1build3_amd64.deb    2024-04-01 10:43  125K  Debian/Ubuntu Packages
 fricas-graphics_1.3.11-1_amd64.deb          2024-06-30 20:54  126K  Debian/Ubuntu Packages
 fricas-graphics_1.3.7-5_amd64.deb           2022-01-27 13:24  127K  Debian/Ubuntu Packages
 fricas-graphics_1.3.8-6_amd64.deb           2023-01-14 04:29  3.4K  Debian/Ubuntu Packages
 fricas-graphics_1.3.8-8_amd64.deb           2023-06-13 20:04  127K  Debian/Ubuntu Packages
 fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-01 10:43  666K  Debian/Ubuntu Packages
 fricas-hypertex-data_1.3.11-1_all.deb       2024-06-30 20:54  664K  Debian/Ubuntu Packages
 fricas-hypertex-data_1.3.7-5_all.deb        2022-01-27 13:24  670K  Debian/Ubuntu Packages
 fricas-hypertex-data_1.3.8-6_all.deb        2023-01-14 04:29  637K  Debian/Ubuntu Packages
 fricas-hypertex-data_1.3.8-8_all.deb        2023-06-13 20:04  665K  Debian/Ubuntu Packages
 fricas-hypertex_1.3.10-1build3_amd64.deb    2024-04-01 10:43   96K  Debian/Ubuntu Packages
 fricas-hypertex_1.3.11-1_amd64.deb          2024-06-30 20:54   94K  Debian/Ubuntu Packages
 fricas-hypertex_1.3.7-5_amd64.deb           2022-01-27 13:24   98K  Debian/Ubuntu Packages
 fricas-hypertex_1.3.8-6_amd64.deb           2023-01-14 04:29  3.4K  Debian/Ubuntu Packages
 fricas-hypertex_1.3.8-8_amd64.deb           2023-06-13 20:04   96K  Debian/Ubuntu Packages
 fricas-source_1.3.10-1build3_all.deb        2024-04-01 10:43  1.3M  Debian/Ubuntu Packages
 fricas-source_1.3.11-1_all.deb              2024-06-30 20:54  1.3M  Debian/Ubuntu Packages
 fricas-source_1.3.7-5_all.deb               2022-01-27 13:24  1.3M  Debian/Ubuntu Packages
 fricas-source_1.3.8-6_all.deb               2023-01-14 04:29  1.3M  Debian/Ubuntu Packages
 fricas-source_1.3.8-8_all.deb               2023-06-13 20:04  1.3M  Debian/Ubuntu Packages
 fricas-test_1.3.10-1build3_all.deb          2024-04-01 10:43  159K  Debian/Ubuntu Packages
 fricas-test_1.3.11-1_all.deb                2024-06-30 20:54  157K  Debian/Ubuntu Packages
 fricas-test_1.3.7-5_all.deb                 2022-01-27 13:24  283K  Debian/Ubuntu Packages
 fricas-test_1.3.8-6_all.deb                 2023-01-14 04:29  171K  Debian/Ubuntu Packages
 fricas-test_1.3.8-8_all.deb                 2023-06-13 20:04  171K  Debian/Ubuntu Packages
 fricas_1.3.10-1build3.debian.tar.xz         2024-03-31 02:12  241K  Debian/Ubuntu Packages
 fricas_1.3.10-1build3.dsc                   2024-03-31 02:12  2.4K  
 fricas_1.3.10-1build3_amd64.deb             2024-04-01 10:43   63M  Debian/Ubuntu Packages
 fricas_1.3.10.orig.tar.bz2                  2024-02-15 07:29   10M  Raw or other Packages
 fricas_1.3.11-1.debian.tar.xz               2024-06-30 19:49  241K  Debian/Ubuntu Packages
 fricas_1.3.11-1.dsc                         2024-06-30 19:49  2.3K  
 fricas_1.3.11-1_amd64.deb                   2024-06-30 20:54   61M  Debian/Ubuntu Packages
 fricas_1.3.11.orig.tar.bz2                  2024-06-30 19:49   10M  Raw or other Packages
 fricas_1.3.7-5.debian.tar.xz                2022-01-27 12:14   97K  Debian/Ubuntu Packages
 fricas_1.3.7-5.dsc                          2022-01-27 12:14  2.3K  
 fricas_1.3.7-5_amd64.deb                    2022-01-27 13:24   60M  Debian/Ubuntu Packages
 fricas_1.3.7.orig.tar.bz2                   2021-07-01 19:13   10M  Raw or other Packages
 fricas_1.3.8-6.debian.tar.xz                2023-01-14 00:34  239K  Debian/Ubuntu Packages
 fricas_1.3.8-6.dsc                          2023-01-14 00:34  2.3K  
 fricas_1.3.8-6_amd64.deb                    2023-01-14 04:29   62M  Debian/Ubuntu Packages
 fricas_1.3.8-8.debian.tar.xz                2023-06-13 19:35  240K  Debian/Ubuntu Packages
 fricas_1.3.8-8.dsc                          2023-06-13 19:35  2.3K  
 fricas_1.3.8-8_amd64.deb                    2023-06-13 20:04   62M  Debian/Ubuntu Packages
 fricas_1.3.8.orig.tar.bz2                   2022-07-07 19:24   10M  Raw or other Packages