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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fricas-dbgsym_1.3.11-4_x32.deb2025-05-17 08:03 176K 
[ ]fricas-graphics-dbgsym_1.3.11-4_x32.deb2025-05-17 08:03 427K 
[ ]fricas-graphics_1.3.11-4_x32.deb2025-05-17 08:03 213K 
[ ]fricas-hypertex-dbgsym_1.3.11-4_x32.deb2025-05-17 08:03 340K 
[ ]fricas-hypertex_1.3.11-4_x32.deb2025-05-17 08:03 183K 
[ ]fricas_1.3.11-4_x32.buildinfo2025-05-17 08:03 9.2K 
[ ]fricas_1.3.11-4_x32.deb2025-05-17 08:03 52M