minizinc-ide

	Name	Size	Modified
	..	—	—
	minizinc-ide-dbgsym_2.1.7-1_mips64el.deb	4 MB	Mon May 10 15:30:35 2021
	minizinc-ide_2.1.7-1.debian.tar.xz	8 KB	Mon May 10 15:30:35 2021
	minizinc-ide_2.1.7-1.dsc	886 bytes	Mon May 10 15:30:35 2021
	minizinc-ide_2.1.7-1_mips64el.deb	247 KB	Mon May 10 15:30:35 2021
	minizinc-ide_2.1.7.orig.tar.gz	210 KB	Mon May 10 15:30:35 2021