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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 elpa-fricas_1.3.11-2..> 2024-07-28 19:59   50K  
 fricas_1.3.11-2_amd6..> 2024-07-28 19:59   57M  
 fricas-databases_1.3..> 2024-07-28 19:59  1.1M  
 fricas-doc_1.3.11-2_..> 2024-07-28 19:59  211K  
 fricas-graphics_1.3...> 2024-07-28 19:59  127K  
 fricas-graphics-data..> 2024-07-28 19:59  1.2M  
 fricas-hypertex_1.3...> 2024-07-28 19:59   95K  
 fricas-hypertex-data..> 2024-07-28 19:59  664K  
 fricas-source_1.3.11..> 2024-07-28 19:59  1.3M  
 fricas-test_1.3.11-2..> 2024-07-28 19:59  157K  
 fricas_1.3.11-2.debi..> 2024-07-28 19:59  241K  tar archive
 fricas_1.3.11-2.dsc     2024-07-28 19:59  2.3K  
 fricas_1.3.11.orig.t..> 2024-06-30 19:49   10M  tar archive
 elpa-fricas_1.3.10-1..> 2024-04-01 10:43   50K  
 fricas_1.3.10-1build..> 2024-04-01 10:43   63M  
 fricas-databases_1.3..> 2024-04-01 10:43  1.2M  
 fricas-doc_1.3.10-1b..> 2024-04-01 10:43  210K  
 fricas-graphics_1.3...> 2024-04-01 10:43  125K  
 fricas-graphics-data..> 2024-04-01 10:43  1.2M  
 fricas-hypertex_1.3...> 2024-04-01 10:43   96K  
 fricas-hypertex-data..> 2024-04-01 10:43  666K  
 fricas-source_1.3.10..> 2024-04-01 10:43  1.3M  
 fricas-test_1.3.10-1..> 2024-04-01 10:43  159K  
 fricas_1.3.10-1build..> 2024-03-31 02:12  2.4K  
 fricas_1.3.10-1build..> 2024-03-31 02:12  241K  tar archive
 fricas_1.3.10.orig.t..> 2024-02-15 07:29   10M  tar archive
 fricas_1.3.7-5_amd64..> 2022-01-27 13:24   60M  
 fricas-hypertex_1.3...> 2022-01-27 13:24   98K  
 fricas-graphics_1.3...> 2022-01-27 13:24  127K  
 fricas-graphics-data..> 2022-01-27 13:24  1.2M  
 fricas-doc_1.3.7-5_a..> 2022-01-27 13:24  211K  
 fricas-test_1.3.7-5_..> 2022-01-27 13:24  283K  
 fricas-source_1.3.7-..> 2022-01-27 13:24  1.3M  
 fricas-databases_1.3..> 2022-01-27 13:24  1.1M  
 fricas-hypertex-data..> 2022-01-27 13:24  670K  
 elpa-fricas_1.3.7-5_..> 2022-01-27 13:24   50K  
 fricas_1.3.7-5.debia..> 2022-01-27 12:14   97K  tar archive
 fricas_1.3.7-5.dsc      2022-01-27 12:14  2.3K  
 fricas_1.3.7.orig.ta..> 2021-07-01 19:13   10M  tar archive