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

../
gecode_6.2.0-8_x32.buildinfo                       18-May-2026 00:03     11K
libgecode-dev_6.2.0-8_x32.deb                      18-May-2026 00:03    450K
libgecode49t64-dbgsym_6.2.0-8_x32.deb              18-May-2026 00:03     53M
libgecode49t64_6.2.0-8_x32.deb                     18-May-2026 00:03      3M
libgecodeflatzinc49t64-dbgsym_6.2.0-8_x32.deb      18-May-2026 00:03      2M
libgecodeflatzinc49t64_6.2.0-8_x32.deb             18-May-2026 00:03    219K
libgecodegist49t64-dbgsym_6.2.0-8_x32.deb          18-May-2026 00:03      3M
libgecodegist49t64_6.2.0-8_x32.deb                 18-May-2026 00:03    119K