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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fricas_1.3.8-8_x32.deb2023-06-14 20:03 55M 
[ ]fricas_1.3.8-8_x32.buildinfo2023-06-14 20:03 12K 
[ ]fricas-hypertex_1.3.8-8_x32.deb2023-06-14 20:03 175K 
[ ]fricas-hypertex-dbgsym_1.3.8-8_x32.deb2023-06-14 20:03 347K 
[ ]fricas-graphics_1.3.8-8_x32.deb2023-06-14 20:03 201K 
[ ]fricas-graphics-dbgsym_1.3.8-8_x32.deb2023-06-14 20:03 405K 
[ ]fricas-dbgsym_1.3.8-8_x32.deb2023-06-14 20:03 4.9M