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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]fricas_1.3.8-8_x32.buildinfo2023-06-14 12:03 12K
[ ]fricas-hypertex_1.3.8-8_x32.deb2023-06-14 12:03 175K
[ ]fricas-graphics_1.3.8-8_x32.deb2023-06-14 12:03 201K
[ ]fricas-hypertex-dbgsym_1.3.8-8_x32.deb2023-06-14 12:03 347K
[ ]fricas-graphics-dbgsym_1.3.8-8_x32.deb2023-06-14 12:03 405K
[ ]fricas-dbgsym_1.3.8-8_x32.deb2023-06-14 12:03 4.9M
[ ]fricas_1.3.8-8_x32.deb2023-06-14 12:03 55M
Apache Server at ftp.ports.debian.org Port 80