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