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

../
flatzinc-dbgsym_6.2.0-5.1+b1_x32.deb               16-Mar-2024 12:03              124668
flatzinc_6.2.0-5.1+b1_x32.deb                      16-Mar-2024 12:03               72492
gecode_6.2.0-5.1+b1_x32.buildinfo                  16-Mar-2024 12:03               13180
libgecode-dev_6.2.0-5.1+b1_x32.deb                 16-Mar-2024 12:03              509536
libgecode49t64-dbgsym_6.2.0-5.1+b1_x32.deb         16-Mar-2024 12:03            58128260
libgecode49t64_6.2.0-5.1+b1_x32.deb                16-Mar-2024 12:03             2980812
libgecodeflatzinc49t64-dbgsym_6.2.0-5.1+b1_x32.deb 16-Mar-2024 12:03             2551328
libgecodeflatzinc49t64_6.2.0-5.1+b1_x32.deb        16-Mar-2024 12:03              267768
libgecodegist49t64-dbgsym_6.2.0-5.1+b1_x32.deb     16-Mar-2024 12:03             4182092
libgecodegist49t64_6.2.0-5.1+b1_x32.deb            16-Mar-2024 12:03              169332