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

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 fricas-dbgsym_1.3.13-3_powerpc.deb              2026-10-11 14:03  166K  
 fricas-graphics-dbgsym_1.3.13-3_powerpc.deb     2026-10-11 14:03  401K  
 fricas-graphics_1.3.13-3_powerpc.deb            2026-10-11 14:03  215K  
 fricas-hypertex-dbgsym_1.3.13-3_powerpc.deb     2026-10-11 14:03  314K  
 fricas-hypertex_1.3.13-3_powerpc.deb            2026-10-11 14:03  187K  
 fricas_1.3.13-3_powerpc.buildinfo               2026-10-11 14:03  9.0K  
 fricas_1.3.13-3_powerpc.deb                     2026-10-11 14:03   66M