Index of /pool/main/f/fricas

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 fricas_1.3.11.orig.tar.bz2            2024-06-30 19:38   10M  
 fricas_1.3.11-2.debian.tar.xz         2024-07-28 18:32  241K  
 fricas_1.3.11-2.dsc                   2024-07-28 18:32  2.3K  
 fricas-graphics_1.3.11-2_amd64.deb    2024-07-28 19:33  216K  
 fricas-hypertex_1.3.11-2_amd64.deb    2024-07-28 19:33  185K  
 fricas_1.3.11-2_amd64.deb             2024-07-28 19:33   51M  
 elpa-fricas_1.3.11-2_all.deb          2024-07-28 19:33  144K  
 fricas-databases_1.3.11-2_all.deb     2024-07-28 19:33  1.3M  
 fricas-doc_1.3.11-2_all.deb           2024-07-28 19:33  297K  
 fricas-graphics-data_1.3.11-2_all.deb 2024-07-28 19:33  1.3M  
 fricas-hypertex-data_1.3.11-2_all.deb 2024-07-28 19:33  723K  
 fricas-source_1.3.11-2_all.deb        2024-07-28 19:33  1.4M  
 fricas-test_1.3.11-2_all.deb          2024-07-28 19:33  246K  
 fricas-graphics_1.3.11-2_arm64.deb    2024-07-28 20:24  204K  
 fricas-hypertex_1.3.11-2_arm64.deb    2024-07-28 20:24  179K  
 fricas_1.3.11-2_arm64.deb             2024-07-28 20:24   48M