Index of /pool/universe/f/fricas

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] elpa-fricas_1.3.10-1build3_all.deb          2024-04-01 18:13   50K  
[   ] elpa-fricas_1.3.11-2_all.deb                2024-07-29 03:29   50K  
[   ] elpa-fricas_1.3.11-4_all.deb                2025-05-14 23:15   50K  
[   ] elpa-fricas_1.3.7-5_all.deb                 2022-01-27 21:54   50K  
[   ] fricas-databases_1.3.10-1build3_all.deb     2024-04-01 18:13  1.2M  
[   ] fricas-databases_1.3.11-2_all.deb           2024-07-29 03:29  1.1M  
[   ] fricas-databases_1.3.11-4_all.deb           2025-05-14 23:15  1.1M  
[   ] fricas-databases_1.3.7-5_all.deb            2022-01-27 21:54  1.1M  
[   ] fricas-doc_1.3.10-1build3_all.deb           2024-04-01 18:13  210K  
[   ] fricas-doc_1.3.11-2_all.deb                 2024-07-29 03:29  211K  
[   ] fricas-doc_1.3.11-4_all.deb                 2025-05-14 23:15  210K  
[   ] fricas-doc_1.3.7-5_all.deb                  2022-01-27 21:54  211K  
[   ] fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-01 18:13  1.2M  
[   ] fricas-graphics-data_1.3.11-2_all.deb       2024-07-29 03:29  1.2M  
[   ] fricas-graphics-data_1.3.11-4_all.deb       2025-05-14 23:15  1.2M  
[   ] fricas-graphics-data_1.3.7-5_all.deb        2022-01-27 21:54  1.2M  
[   ] fricas-graphics_1.3.10-1build3_amd64.deb    2024-04-01 18:13  125K  
[   ] fricas-graphics_1.3.11-2_amd64.deb          2024-07-29 03:29  127K  
[   ] fricas-graphics_1.3.11-4_amd64.deb          2025-05-14 23:15  126K  
[   ] fricas-graphics_1.3.7-5_amd64.deb           2022-01-27 21:54  127K  
[   ] fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-01 18:13  666K  
[   ] fricas-hypertex-data_1.3.11-2_all.deb       2024-07-29 03:29  664K  
[   ] fricas-hypertex-data_1.3.11-4_all.deb       2025-05-14 23:15  661K  
[   ] fricas-hypertex-data_1.3.7-5_all.deb        2022-01-27 21:54  670K  
[   ] fricas-hypertex_1.3.10-1build3_amd64.deb    2024-04-01 18:13   96K  
[   ] fricas-hypertex_1.3.11-2_amd64.deb          2024-07-29 03:29   95K  
[   ] fricas-hypertex_1.3.11-4_amd64.deb          2025-05-14 23:15   95K  
[   ] fricas-hypertex_1.3.7-5_amd64.deb           2022-01-27 21:54   98K  
[   ] fricas-source_1.3.10-1build3_all.deb        2024-04-01 18:13  1.3M  
[   ] fricas-source_1.3.11-2_all.deb              2024-07-29 03:29  1.3M  
[   ] fricas-source_1.3.11-4_all.deb              2025-05-14 23:15  1.3M  
[   ] fricas-source_1.3.7-5_all.deb               2022-01-27 21:54  1.3M  
[   ] fricas-test_1.3.10-1build3_all.deb          2024-04-01 18:13  159K  
[   ] fricas-test_1.3.11-2_all.deb                2024-07-29 03:29  157K  
[   ] fricas-test_1.3.11-4_all.deb                2025-05-14 23:15  157K  
[   ] fricas-test_1.3.7-5_all.deb                 2022-01-27 21:54  283K  
[   ] fricas_1.3.10-1build3.debian.tar.xz         2024-03-31 09:42  241K  
[TXT] fricas_1.3.10-1build3.dsc                   2024-03-31 09:42  2.4K  
[   ] fricas_1.3.10-1build3_amd64.deb             2024-04-01 18:13   63M  
[   ] fricas_1.3.10.orig.tar.bz2                  2024-02-15 15:59   10M  
[   ] fricas_1.3.11-2.debian.tar.xz               2024-07-29 03:29  241K  
[TXT] fricas_1.3.11-2.dsc                         2024-07-29 03:29  2.3K  
[   ] fricas_1.3.11-2_amd64.deb                   2024-07-29 03:29   57M  
[   ] fricas_1.3.11-4.debian.tar.xz               2025-05-14 21:35  256K  
[TXT] fricas_1.3.11-4.dsc                         2025-05-14 21:35  2.3K  
[   ] fricas_1.3.11-4_amd64.deb                   2025-05-14 23:15   58M  
[   ] fricas_1.3.11.orig.tar.bz2                  2024-07-01 03:19   10M  
[   ] fricas_1.3.7-5.debian.tar.xz                2022-01-27 20:44   97K  
[TXT] fricas_1.3.7-5.dsc                          2022-01-27 20:44  2.3K  
[   ] fricas_1.3.7-5_amd64.deb                    2022-01-27 21:54   60M  
[   ] fricas_1.3.7.orig.tar.bz2                   2021-07-02 03:43   10M