..
	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