..
	minizinc_2.8.5_aarch64.deb	1674536	2024-06-03T06:18:21Z
	minizinc_2.8.5_arm.deb	1677024	2024-06-03T06:18:21Z
	minizinc_2.8.5_i686.deb	1977928	2024-06-03T06:18:21Z
	minizinc_2.8.5_x86_64.deb	1942972	2024-06-03T06:18:21Z