..
	gecode_6.2.0_aarch64.deb	2123324	2022-10-21T21:26:11Z
	gecode_6.2.0_arm.deb	2454152	2022-10-21T21:26:11Z
	gecode_6.2.0_i686.deb	2791896	2022-10-21T21:26:11Z
	gecode_6.2.0_x86_64.deb	2694836	2022-10-21T21:26:11Z