Index of /raspbian/pool/main/m/minizinc-ide

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	minizinc-ide_2.8.5.orig.tar.gz	27-Aug-2024 04:28	816K		Details
	minizinc-ide_2.8.5-1.dsc	27-Aug-2024 04:28	1.8K		Details
	minizinc-ide_2.8.5-1.debian.tar.xz	27-Aug-2024 04:28	8.9K		Details
	minizinc-ide_2.6.3.orig.tar.gz	29-May-2022 16:20	808K		Details
	minizinc-ide_2.6.3-1.dsc	29-May-2022 16:20	1.7K		Details
	minizinc-ide_2.6.3-1.debian.tar.xz	29-May-2022 16:20	13K		Details
	minizinc-ide_2.5.3.orig.tar.gz	09-Dec-2020 18:17	780K		Details
	minizinc-ide_2.5.3-1.dsc	09-Dec-2020 18:17	1.7K		Details
	minizinc-ide_2.5.3-1.debian.tar.xz	09-Dec-2020 18:17	13K		Details
	minizinc-ide_2.1.7.orig.tar.gz	23-Jan-2018 16:43	210K		Details
	minizinc-ide_2.1.7-1.dsc	23-Jan-2018 16:43	1.7K		Details
	minizinc-ide_2.1.7-1.debian.tar.xz	23-Jan-2018 16:43	8.7K		Details
	minizinc-ide_2.1.7-1+b1_armhf.deb	07-Feb-2018 01:38	226K		Details