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