Index of /pool/universe/m/minizinc-ide

	Name	Last modified	Size
	Parent Directory		-
	minizinc-ide_2.0.10-1.debian.tar.xz	2016-01-03 05:14	8.3K
	minizinc-ide_2.0.10.orig.tar.gz	2016-01-03 05:14	406K
	minizinc-ide_2.0.10-1.dsc	2016-01-03 05:14	1.7K
	minizinc-ide_2.0.10-1_ppc64el.deb	2016-01-03 05:14	270K
	minizinc-ide_2.0.10-1_s390x.deb	2016-01-03 05:14	264K
	minizinc-ide_2.0.10-1_arm64.deb	2016-01-03 05:29	262K
	minizinc-ide_2.0.10-1_armhf.deb	2016-01-03 05:29	258K
	minizinc-ide_2.0.10-1_powerpc.deb	2016-01-03 05:29	260K
	minizinc-ide_2.1.7-1.dsc	2018-01-23 23:28	1.7K
	minizinc-ide_2.1.7.orig.tar.gz	2018-01-23 23:28	210K
	minizinc-ide_2.1.7-1.debian.tar.xz	2018-01-23 23:28	8.7K
	minizinc-ide_2.1.7-1_arm64.deb	2018-01-23 23:29	235K
	minizinc-ide_2.1.7-1_armhf.deb	2018-01-23 23:29	224K
	minizinc-ide_2.1.7-1_ppc64el.deb	2018-01-23 23:29	255K
	minizinc-ide_2.1.7-1_s390x.deb	2018-01-23 23:29	233K
	minizinc-ide_2.4.2.orig.tar.gz	2020-01-10 23:13	469K
	minizinc-ide_2.4.2-2build1.debian.tar.xz	2020-03-22 17:10	8.6K
	minizinc-ide_2.4.2-2build1.dsc	2020-03-22 17:10	1.8K
	minizinc-ide_2.4.2-2build1_arm64.deb	2020-03-22 20:56	496K
	minizinc-ide_2.4.2-2build1_armhf.deb	2020-03-22 20:56	490K
	minizinc-ide_2.5.3-1.dsc	2020-12-10 05:23	1.7K
	minizinc-ide_2.5.3.orig.tar.gz	2020-12-10 05:23	780K
	minizinc-ide_2.5.3-1.debian.tar.xz	2020-12-10 05:23	13K
	minizinc-ide_2.5.3-1_arm64.deb	2020-12-10 05:39	696K
	minizinc-ide_2.5.3-1_armhf.deb	2020-12-10 05:39	701K
	minizinc-ide_2.6.3-1.dsc	2022-05-29 23:29	1.7K
	minizinc-ide_2.6.3.orig.tar.gz	2022-05-29 23:29	808K
	minizinc-ide_2.6.3-1.debian.tar.xz	2022-05-29 23:29	13K
	minizinc-ide_2.6.3-1_arm64.deb	2022-05-30 00:24	828K
	minizinc-ide_2.6.3-1_armhf.deb	2022-05-30 00:24	833K
	minizinc-ide_2.8.2.orig.tar.gz	2024-01-01 23:31	816K
	minizinc-ide_2.8.2-1build2.debian.tar.xz	2024-04-01 08:00	13K
	minizinc-ide_2.8.2-1build2.dsc	2024-04-01 08:00	1.8K
	minizinc-ide_2.8.2-1build2_armhf.deb	2024-04-01 20:03	868K
	minizinc-ide_2.8.2-1build2_arm64.deb	2024-04-01 21:02	851K