..

gecode-static_6.2.0_aarch64.deb 2994908 2022-10-21T21:26:11Z
gecode-static_6.2.0_arm.deb 3611888 2022-10-21T21:26:11Z
gecode-static_6.2.0_i686.deb 3490848 2022-10-21T21:26:11Z
gecode-static_6.2.0_x86_64.deb 3368820 2022-10-21T21:26:11Z