Index of /debian-ports/pool-x32/main/f/fricas

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fricas_1.3.13-3_x32.deb2026-10-07 00:03 68M 
[ ]fricas_1.3.13-3_x32.buildinfo2026-10-07 00:03 9.1K 
[ ]fricas-hypertex_1.3.13-3_x32.deb2026-10-07 00:03 189K 
[ ]fricas-hypertex-dbgsym_1.3.13-3_x32.deb2026-10-07 00:03 309K 
[ ]fricas-graphics_1.3.13-3_x32.deb2026-10-07 00:03 219K 
[ ]fricas-graphics-dbgsym_1.3.13-3_x32.deb2026-10-07 00:03 384K 
[ ]fricas-dbgsym_1.3.13-3_x32.deb2026-10-07 00:03 161K