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

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 fricas-dbgsym_1.3.13-3_sparc64.deb              2026-10-07 08:03  160K  
 fricas-graphics-dbgsym_1.3.13-3_sparc64.deb     2026-10-07 08:03  385K  
 fricas-graphics_1.3.13-3_sparc64.deb            2026-10-07 08:03  199K  
 fricas-hypertex-dbgsym_1.3.13-3_sparc64.deb     2026-10-07 08:03  309K  
 fricas-hypertex_1.3.13-3_sparc64.deb            2026-10-07 08:03  174K  
 fricas_1.3.13-3_sparc64.buildinfo               2026-10-07 08:03  9.0K  
 fricas_1.3.13-3_sparc64.deb                     2026-10-07 08:03   76M