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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 elpa-fricas_1.3.7-5_..> 27-Jan-2022 18:24   50K  
 elpa-fricas_1.3.8-6_..> 14-Jan-2023 09:29   49K  
 elpa-fricas_1.3.8-8_..> 14-Jun-2023 00:04   49K  
 elpa-fricas_1.3.10-1..> 01-Apr-2024 14:43   50K  
 fricas-databases_1.3..> 27-Jan-2022 18:24  1.1M  
 fricas-databases_1.3..> 14-Jan-2023 09:29  1.1M  
 fricas-databases_1.3..> 14-Jun-2023 00:04  1.1M  
 fricas-databases_1.3..> 01-Apr-2024 14:43  1.2M  
 fricas-doc_1.3.7-5_a..> 27-Jan-2022 18:24  211K  
 fricas-doc_1.3.8-6_a..> 14-Jan-2023 09:29  210K  
 fricas-doc_1.3.8-8_a..> 14-Jun-2023 00:04  210K  
 fricas-doc_1.3.10-1b..> 01-Apr-2024 14:43  210K  
 fricas-graphics-data..> 27-Jan-2022 18:24  1.2M  
 fricas-graphics-data..> 14-Jan-2023 09:29  1.2M  
 fricas-graphics-data..> 14-Jun-2023 00:04  1.2M  
 fricas-graphics-data..> 01-Apr-2024 14:43  1.2M  
 fricas-graphics_1.3...> 27-Jan-2022 18:24  127K  
 fricas-graphics_1.3...> 14-Jan-2023 09:29  3.4K  
 fricas-graphics_1.3...> 14-Jun-2023 00:04  127K  
 fricas-graphics_1.3...> 01-Apr-2024 14:43  125K  
 fricas-hypertex-data..> 27-Jan-2022 18:24  670K  
 fricas-hypertex-data..> 14-Jan-2023 09:29  637K  
 fricas-hypertex-data..> 14-Jun-2023 00:04  665K  
 fricas-hypertex-data..> 01-Apr-2024 14:43  666K  
 fricas-hypertex_1.3...> 27-Jan-2022 18:24   98K  
 fricas-hypertex_1.3...> 14-Jan-2023 09:29  3.4K  
 fricas-hypertex_1.3...> 14-Jun-2023 00:04   96K  
 fricas-hypertex_1.3...> 01-Apr-2024 14:43   96K  
 fricas-source_1.3.7-..> 27-Jan-2022 18:24  1.3M  
 fricas-source_1.3.8-..> 14-Jan-2023 09:29  1.3M  
 fricas-source_1.3.8-..> 14-Jun-2023 00:04  1.3M  
 fricas-source_1.3.10..> 01-Apr-2024 14:43  1.3M  
 fricas-test_1.3.7-5_..> 27-Jan-2022 18:24  283K  
 fricas-test_1.3.8-6_..> 14-Jan-2023 09:29  171K  
 fricas-test_1.3.8-8_..> 14-Jun-2023 00:04  171K  
 fricas-test_1.3.10-1..> 01-Apr-2024 14:43  159K  
 fricas_1.3.7-5.debia..> 27-Jan-2022 17:14   97K  
 fricas_1.3.7-5.dsc      27-Jan-2022 17:14  2.3K  
 fricas_1.3.7-5_amd64..> 27-Jan-2022 18:24   60M  
 fricas_1.3.7.orig.ta..> 01-Jul-2021 23:13   10M  
 fricas_1.3.8-6.debia..> 14-Jan-2023 05:34  239K  
 fricas_1.3.8-6.dsc      14-Jan-2023 05:34  2.3K  
 fricas_1.3.8-6_amd64..> 14-Jan-2023 09:29   62M  
 fricas_1.3.8-8.debia..> 13-Jun-2023 23:35  240K  
 fricas_1.3.8-8.dsc      13-Jun-2023 23:35  2.3K  
 fricas_1.3.8-8_amd64..> 14-Jun-2023 00:04   62M  
 fricas_1.3.8.orig.ta..> 07-Jul-2022 23:24   10M  
 fricas_1.3.10-1build..> 31-Mar-2024 06:12  241K  
 fricas_1.3.10-1build..> 31-Mar-2024 06:12  2.4K  
 fricas_1.3.10-1build..> 01-Apr-2024 14:43   63M  
 fricas_1.3.10.orig.t..> 15-Feb-2024 12:29   10M