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

../
gecode_6.2.0-8_x32.buildinfo                       18-May-2026 00:03               11695
libgecode-dev_6.2.0-8_x32.deb                      18-May-2026 00:03              461268
libgecode49t64-dbgsym_6.2.0-8_x32.deb              18-May-2026 00:03            56015372
libgecode49t64_6.2.0-8_x32.deb                     18-May-2026 00:03             3059560
libgecodeflatzinc49t64-dbgsym_6.2.0-8_x32.deb      18-May-2026 00:03             2607952
libgecodeflatzinc49t64_6.2.0-8_x32.deb             18-May-2026 00:03              224080
libgecodegist49t64-dbgsym_6.2.0-8_x32.deb          18-May-2026 00:03             3002372
libgecodegist49t64_6.2.0-8_x32.deb                 18-May-2026 00:03              121632