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

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 fricas-dbgsym_1.3.13-3_alpha.deb              2026-10-07 14:03  158K  
 fricas-graphics-dbgsym_1.3.13-3_alpha.deb     2026-10-07 14:03  383K  
 fricas-graphics_1.3.13-3_alpha.deb            2026-10-07 14:03  216K  
 fricas-hypertex-dbgsym_1.3.13-3_alpha.deb     2026-10-07 14:03  308K  
 fricas-hypertex_1.3.13-3_alpha.deb            2026-10-07 14:03  186K  
 fricas_1.3.13-3_alpha.buildinfo               2026-10-07 14:03  8.8K  
 fricas_1.3.13-3_alpha.deb                     2026-10-07 14:03   60M