..
	minizinc_2.8.7_aarch64.deb	1666096	2024-10-02T12:18:23Z
	minizinc_2.8.7_arm.deb	1685048	2024-10-02T12:18:23Z
	minizinc_2.8.7_i686.deb	1988252	2024-10-02T12:18:23Z
	minizinc_2.8.7_x86_64.deb	1934380	2024-10-02T12:18:23Z