Index of /ubuntu/ubuntu/pool/universe/f/fricas

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 elpa-fricas_1.3.10-1build3_all.deb          2024-04-02 01:43   50K  
 elpa-fricas_1.3.10-2_all.deb                2024-05-03 13:29   50K  
 elpa-fricas_1.3.7-5_all.deb                 2022-01-28 05:24   50K  
 elpa-fricas_1.3.8-6_all.deb                 2023-01-14 20:29   49K  
 elpa-fricas_1.3.8-8_all.deb                 2023-06-14 10:04   49K  
 fricas-databases_1.3.10-1build3_all.deb     2024-04-02 01:43  1.2M  
 fricas-databases_1.3.10-2_all.deb           2024-05-03 13:29  1.2M  
 fricas-databases_1.3.7-5_all.deb            2022-01-28 05:24  1.1M  
 fricas-databases_1.3.8-6_all.deb            2023-01-14 20:29  1.1M  
 fricas-databases_1.3.8-8_all.deb            2023-06-14 10:04  1.1M  
 fricas-doc_1.3.10-1build3_all.deb           2024-04-02 01:43  210K  
 fricas-doc_1.3.10-2_all.deb                 2024-05-03 13:29  210K  
 fricas-doc_1.3.7-5_all.deb                  2022-01-28 05:24  211K  
 fricas-doc_1.3.8-6_all.deb                  2023-01-14 20:29  210K  
 fricas-doc_1.3.8-8_all.deb                  2023-06-14 10:04  210K  
 fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-02 01:43  1.2M  
 fricas-graphics-data_1.3.10-2_all.deb       2024-05-03 13:29  1.2M  
 fricas-graphics-data_1.3.7-5_all.deb        2022-01-28 05:24  1.2M  
 fricas-graphics-data_1.3.8-6_all.deb        2023-01-14 20:29  1.2M  
 fricas-graphics-data_1.3.8-8_all.deb        2023-06-14 10:04  1.2M  
 fricas-graphics_1.3.10-1build3_amd64.deb    2024-04-02 01:43  125K  
 fricas-graphics_1.3.10-2_amd64.deb          2024-05-03 13:29  125K  
 fricas-graphics_1.3.7-5_amd64.deb           2022-01-28 05:24  127K  
 fricas-graphics_1.3.8-6_amd64.deb           2023-01-14 20:29  3.4K  
 fricas-graphics_1.3.8-8_amd64.deb           2023-06-14 10:04  127K  
 fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-02 01:43  666K  
 fricas-hypertex-data_1.3.10-2_all.deb       2024-05-03 13:29  666K  
 fricas-hypertex-data_1.3.7-5_all.deb        2022-01-28 05:24  670K  
 fricas-hypertex-data_1.3.8-6_all.deb        2023-01-14 20:29  637K  
 fricas-hypertex-data_1.3.8-8_all.deb        2023-06-14 10:04  665K  
 fricas-hypertex_1.3.10-1build3_amd64.deb    2024-04-02 01:43   96K  
 fricas-hypertex_1.3.10-2_amd64.deb          2024-05-03 13:29   96K  
 fricas-hypertex_1.3.7-5_amd64.deb           2022-01-28 05:24   98K  
 fricas-hypertex_1.3.8-6_amd64.deb           2023-01-14 20:29  3.4K  
 fricas-hypertex_1.3.8-8_amd64.deb           2023-06-14 10:04   96K  
 fricas-source_1.3.10-1build3_all.deb        2024-04-02 01:43  1.3M  
 fricas-source_1.3.10-2_all.deb              2024-05-03 13:29  1.3M  
 fricas-source_1.3.7-5_all.deb               2022-01-28 05:24  1.3M  
 fricas-source_1.3.8-6_all.deb               2023-01-14 20:29  1.3M  
 fricas-source_1.3.8-8_all.deb               2023-06-14 10:04  1.3M  
 fricas-test_1.3.10-1build3_all.deb          2024-04-02 01:43  159K  
 fricas-test_1.3.10-2_all.deb                2024-05-03 13:29  159K  
 fricas-test_1.3.7-5_all.deb                 2022-01-28 05:24  283K  
 fricas-test_1.3.8-6_all.deb                 2023-01-14 20:29  171K  
 fricas-test_1.3.8-8_all.deb                 2023-06-14 10:04  171K  
 fricas_1.3.10-1build3.debian.tar.xz         2024-03-31 17:12  241K  
 fricas_1.3.10-1build3.dsc                   2024-03-31 17:12  2.4K  
 fricas_1.3.10-1build3_amd64.deb             2024-04-02 01:43   63M  
 fricas_1.3.10-2.debian.tar.xz               2024-05-03 11:53  241K  
 fricas_1.3.10-2.dsc                         2024-05-03 11:53  2.3K  
 fricas_1.3.10-2_amd64.deb                   2024-05-03 13:29   63M  
 fricas_1.3.10.orig.tar.bz2                  2024-02-15 23:29   10M  
 fricas_1.3.7-5.debian.tar.xz                2022-01-28 04:14   97K  
 fricas_1.3.7-5.dsc                          2022-01-28 04:14  2.3K  
 fricas_1.3.7-5_amd64.deb                    2022-01-28 05:24   60M  
 fricas_1.3.7.orig.tar.bz2                   2021-07-02 09:13   10M  
 fricas_1.3.8-6.debian.tar.xz                2023-01-14 16:34  239K  
 fricas_1.3.8-6.dsc                          2023-01-14 16:34  2.3K  
 fricas_1.3.8-6_amd64.deb                    2023-01-14 20:29   62M  
 fricas_1.3.8-8.debian.tar.xz                2023-06-14 09:35  240K  
 fricas_1.3.8-8.dsc                          2023-06-14 09:35  2.3K  
 fricas_1.3.8-8_amd64.deb                    2023-06-14 10:04   62M  
 fricas_1.3.8.orig.tar.bz2                   2022-07-08 09:24   10M