Index of /debian-ports/pool-x32/main/g/gecode

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]gecode_6.2.0-6_x32.buildinfo2024-08-27 06:03 12K
[ ]libgecode-dev_6.2.0-6_x32.deb2024-08-27 06:03 497K
[ ]libgecode49t64-dbgsym_6.2.0-6_x32.deb2024-08-27 06:03 57M
[ ]libgecode49t64_6.2.0-6_x32.deb2024-08-27 06:03 2.9M
[ ]libgecodeflatzinc49t64-dbgsym_6.2.0-6_x32.deb2024-08-27 06:03 2.5M
[ ]libgecodeflatzinc49t64_6.2.0-6_x32.deb2024-08-27 06:03 266K
[ ]libgecodegist49t64-dbgsym_6.2.0-6_x32.deb2024-08-27 06:03 4.0M
[ ]libgecodegist49t64_6.2.0-6_x32.deb2024-08-27 06:03 166K
Apache Server at ftp.ports.debian.org Port 80