Index of /debian/pool/main/f/fricas

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 elpa-fricas_1.3.8-6_all.deb          2023-01-14 03:42  134K  
 fricas-databases_1.3.8-6_all.deb     2023-01-14 03:42  1.3M  
 fricas-doc_1.3.8-6_all.deb           2023-01-14 03:42  288K  
 fricas-graphics-data_1.3.8-6_all.deb 2023-01-14 03:42  1.3M  
 fricas-graphics_1.3.8-6_amd64.deb    2023-01-14 03:41   91K  
 fricas-hypertex-data_1.3.8-6_all.deb 2023-01-14 03:42  688K  
 fricas-hypertex_1.3.8-6_amd64.deb    2023-01-14 03:41   91K  
 fricas-source_1.3.8-6_all.deb        2023-01-14 03:42  1.4M  
 fricas-test_1.3.8-6_all.deb          2023-01-14 03:42  252K  
 fricas_1.3.8-6.debian.tar.xz         2023-01-14 01:19  239K  
 fricas_1.3.8-6.dsc                   2023-01-14 01:19  2.3K  
 fricas_1.3.8-6_amd64.deb             2023-01-14 03:41   55M  
 fricas_1.3.8.orig.tar.bz2            2022-07-07 20:49   10M