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

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] elpa-fricas_1.3.7-5_all.deb          2022-01-27 19:24   50K  
[   ] elpa-fricas_1.3.8-1_all.deb          2022-07-08 01:43   49K  
[   ] elpa-fricas_1.3.8-6_all.deb          2023-01-14 10:29   49K  
[   ] fricas-databases_1.3.7-5_all.deb     2022-01-27 19:24  1.1M  
[   ] fricas-databases_1.3.8-1_all.deb     2022-07-08 01:44  1.1M  
[   ] fricas-databases_1.3.8-6_all.deb     2023-01-14 10:29  1.1M  
[   ] fricas-doc_1.3.7-5_all.deb           2022-01-27 19:24  211K  
[   ] fricas-doc_1.3.8-1_all.deb           2022-07-08 01:44  210K  
[   ] fricas-doc_1.3.8-6_all.deb           2023-01-14 10:29  210K  
[   ] fricas-graphics-data_1.3.7-5_all.deb 2022-01-27 19:24  1.2M  
[   ] fricas-graphics-data_1.3.8-1_all.deb 2022-07-08 01:44  1.2M  
[   ] fricas-graphics-data_1.3.8-6_all.deb 2023-01-14 10:29  1.2M  
[   ] fricas-graphics_1.3.7-5_amd64.deb    2022-01-27 19:24  127K  
[   ] fricas-graphics_1.3.8-1_amd64.deb    2022-07-08 01:44  126K  
[   ] fricas-graphics_1.3.8-6_amd64.deb    2023-01-14 10:29  3.4K  
[   ] fricas-hypertex-data_1.3.7-5_all.deb 2022-01-27 19:24  670K  
[   ] fricas-hypertex-data_1.3.8-1_all.deb 2022-07-08 01:43  666K  
[   ] fricas-hypertex-data_1.3.8-6_all.deb 2023-01-14 10:29  637K  
[   ] fricas-hypertex_1.3.7-5_amd64.deb    2022-01-27 19:24   98K  
[   ] fricas-hypertex_1.3.8-1_amd64.deb    2022-07-08 01:43   96K  
[   ] fricas-hypertex_1.3.8-6_amd64.deb    2023-01-14 10:29  3.4K  
[   ] fricas-source_1.3.7-5_all.deb        2022-01-27 19:24  1.3M  
[   ] fricas-source_1.3.8-1_all.deb        2022-07-08 01:43  1.3M  
[   ] fricas-source_1.3.8-6_all.deb        2023-01-14 10:29  1.3M  
[   ] fricas-test_1.3.7-5_all.deb          2022-01-27 19:24  283K  
[   ] fricas-test_1.3.8-1_all.deb          2022-07-08 01:44  171K  
[   ] fricas-test_1.3.8-6_all.deb          2023-01-14 10:29  171K  
[   ] fricas_1.3.7-5.debian.tar.xz         2022-01-27 18:14   97K  
[   ] fricas_1.3.7-5.dsc                   2022-01-27 18:14  2.3K  
[   ] fricas_1.3.7-5_amd64.deb             2022-01-27 19:24   60M  
[   ] fricas_1.3.7.orig.tar.bz2            2021-07-02 01:13   10M  
[   ] fricas_1.3.8-1.debian.tar.xz         2022-07-08 01:24  239K  
[   ] fricas_1.3.8-1.dsc                   2022-07-08 01:24  2.3K  
[   ] fricas_1.3.8-1_amd64.deb             2022-07-08 01:44   59M  
[   ] fricas_1.3.8-6.debian.tar.xz         2023-01-14 06:34  239K  
[   ] fricas_1.3.8-6.dsc                   2023-01-14 06:34  2.3K  
[   ] fricas_1.3.8-6_amd64.deb             2023-01-14 10:29   62M  
[   ] fricas_1.3.8.orig.tar.bz2            2022-07-08 01:24   10M