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

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