Index of /linux/debian/debian-ports/pool-sh4/main/f/fricas

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 fricas-dbgsym_1.3.13-3_sh4.deb              2026-10-08 02:03  179K  
 fricas-graphics-dbgsym_1.3.13-3_sh4.deb     2026-10-08 02:03  432K  
 fricas-graphics_1.3.13-3_sh4.deb            2026-10-08 02:03  215K  
 fricas-hypertex-dbgsym_1.3.13-3_sh4.deb     2026-10-08 02:03  340K  
 fricas-hypertex_1.3.13-3_sh4.deb            2026-10-08 02:03  182K  
 fricas_1.3.13-3_sh4.buildinfo               2026-10-08 02:03  8.8K  
 fricas_1.3.13-3_sh4.deb                     2026-10-08 02:03   70M