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

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] fricas_1.3.7-5_amd64.deb                    2022-01-27 15:24   60M  
[   ] fricas_1.3.11-3_amd64.deb                   2025-05-02 12:17   60M  
[   ] fricas_1.3.11-2_amd64.deb                   2024-07-28 20:59   57M  
[   ] fricas_1.3.10-1build3_amd64.deb             2024-04-01 11:43   63M  
[   ] fricas-test_1.3.7-5_all.deb                 2022-01-27 15:24  283K  
[   ] fricas-test_1.3.11-3_all.deb                2025-05-02 12:17  157K  
[   ] fricas-test_1.3.11-2_all.deb                2024-07-28 20:59  157K  
[   ] fricas-test_1.3.10-1build3_all.deb          2024-04-01 11:43  159K  
[   ] fricas-source_1.3.7-5_all.deb               2022-01-27 15:24  1.3M  
[   ] fricas-source_1.3.11-3_all.deb              2025-05-02 12:17  1.3M  
[   ] fricas-source_1.3.11-2_all.deb              2024-07-28 20:59  1.3M  
[   ] fricas-source_1.3.10-1build3_all.deb        2024-04-01 11:43  1.3M  
[   ] fricas-hypertex_1.3.7-5_amd64.deb           2022-01-27 15:24   98K  
[   ] fricas-hypertex_1.3.11-3_amd64.deb          2025-05-02 12:17   95K  
[   ] fricas-hypertex_1.3.11-2_amd64.deb          2024-07-28 20:59   95K  
[   ] fricas-hypertex_1.3.10-1build3_amd64.deb    2024-04-01 11:43   96K  
[   ] fricas-hypertex-data_1.3.7-5_all.deb        2022-01-27 15:24  670K  
[   ] fricas-hypertex-data_1.3.11-3_all.deb       2025-05-02 12:17  661K  
[   ] fricas-hypertex-data_1.3.11-2_all.deb       2024-07-28 20:59  664K  
[   ] fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-01 11:43  666K  
[   ] fricas-graphics_1.3.7-5_amd64.deb           2022-01-27 15:24  127K  
[   ] fricas-graphics_1.3.11-3_amd64.deb          2025-05-02 12:17  126K  
[   ] fricas-graphics_1.3.11-2_amd64.deb          2024-07-28 20:59  127K  
[   ] fricas-graphics_1.3.10-1build3_amd64.deb    2024-04-01 11:43  125K  
[   ] fricas-graphics-data_1.3.7-5_all.deb        2022-01-27 15:24  1.2M  
[   ] fricas-graphics-data_1.3.11-3_all.deb       2025-05-02 12:17  1.2M  
[   ] fricas-graphics-data_1.3.11-2_all.deb       2024-07-28 20:59  1.2M  
[   ] fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-01 11:43  1.2M  
[   ] fricas-doc_1.3.7-5_all.deb                  2022-01-27 15:24  211K  
[   ] fricas-doc_1.3.11-3_all.deb                 2025-05-02 12:17  210K  
[   ] fricas-doc_1.3.11-2_all.deb                 2024-07-28 20:59  211K  
[   ] fricas-doc_1.3.10-1build3_all.deb           2024-04-01 11:43  210K  
[   ] fricas-databases_1.3.7-5_all.deb            2022-01-27 15:24  1.1M  
[   ] fricas-databases_1.3.11-3_all.deb           2025-05-02 12:17  1.1M  
[   ] fricas-databases_1.3.11-2_all.deb           2024-07-28 20:59  1.1M  
[   ] fricas-databases_1.3.10-1build3_all.deb     2024-04-01 11:43  1.2M  
[   ] elpa-fricas_1.3.7-5_all.deb                 2022-01-27 15:24   50K  
[   ] elpa-fricas_1.3.11-3_all.deb                2025-05-02 12:17   50K  
[   ] elpa-fricas_1.3.11-2_all.deb                2024-07-28 20:59   50K  
[   ] elpa-fricas_1.3.10-1build3_all.deb          2024-04-01 11:43   50K