Index of /pool/main/m/minizinc

	Name	Last modified	Size
	Parent Directory		-
	minizinc_2.1.7+dfsg1-1.debian.tar.xz	23-Jan-2018 17:43	9.2K
	minizinc_2.1.7+dfsg1-1.dsc	23-Jan-2018 17:43	1.8K
	minizinc_2.1.7+dfsg1-1_amd64.deb	23-Jan-2018 17:43	1.7M
	minizinc_2.1.7+dfsg1-1_arm64.deb	23-Jan-2018 18:29	1.6M
	minizinc_2.1.7+dfsg1-1_armhf.deb	23-Jan-2018 18:44	1.5M
	minizinc_2.1.7+dfsg1-1_i386.deb	23-Jan-2018 19:00	1.7M
	minizinc_2.1.7+dfsg1.orig.tar.xz	23-Jan-2018 17:43	487K
	minizinc_2.5.3+dfsg1-1.debian.tar.xz	09-Dec-2020 19:17	8.8K
	minizinc_2.5.3+dfsg1-1.dsc	09-Dec-2020 19:17	1.8K
	minizinc_2.5.3+dfsg1-1_amd64.deb	10-Dec-2020 01:14	1.5M
	minizinc_2.5.3+dfsg1-1_arm64.deb	10-Dec-2020 01:14	1.3M
	minizinc_2.5.3+dfsg1-1_armhf.deb	10-Dec-2020 01:29	1.3M
	minizinc_2.5.3+dfsg1-1_i386.deb	10-Dec-2020 01:14	1.6M
	minizinc_2.5.3+dfsg1.orig.tar.gz	09-Dec-2020 19:17	1.5M
	minizinc_2.6.4+dfsg1-1.debian.tar.xz	23-Jul-2022 01:53	8.9K
	minizinc_2.6.4+dfsg1-1.dsc	23-Jul-2022 01:53	1.8K
	minizinc_2.6.4+dfsg1-1_amd64.deb	23-Jul-2022 02:28	1.9M
	minizinc_2.6.4+dfsg1-1_arm64.deb	23-Jul-2022 02:28	1.7M
	minizinc_2.6.4+dfsg1-1_armhf.deb	23-Jul-2022 03:29	1.6M
	minizinc_2.6.4+dfsg1-1_i386.deb	23-Jul-2022 02:18	2.0M
	minizinc_2.6.4+dfsg1.orig.tar.xz	23-Jul-2022 01:53	859K
	minizinc_2.8.7+dfsg1-1.debian.tar.xz	09-Oct-2024 08:53	11K
	minizinc_2.8.7+dfsg1-1.dsc	09-Oct-2024 08:53	1.8K
	minizinc_2.8.7+dfsg1-1_amd64.deb	09-Oct-2024 12:49	2.3M
	minizinc_2.8.7+dfsg1-1_arm64.deb	09-Oct-2024 09:23	2.0M
	minizinc_2.8.7+dfsg1-1_armhf.deb	09-Oct-2024 09:29	2.0M
	minizinc_2.8.7+dfsg1-1_i386.deb	09-Oct-2024 10:20	2.4M
	minizinc_2.8.7+dfsg1-1_riscv64.deb	10-Oct-2024 12:57	2.4M
	minizinc_2.8.7+dfsg1.orig.tar.xz	09-Oct-2024 08:53	963K