minizinc-ide

	Name	Size	Modified
	..	—	—
	minizinc-ide-dbgsym_2.1.7-1.1_loongarch64.deb	5 MB	Tue Mar 11 21:29:59 2025
	minizinc-ide_2.1.7-1.1.debian.tar.xz	8 KB	Tue Mar 11 21:29:59 2025
	minizinc-ide_2.1.7-1.1.dsc	894 bytes	Tue Mar 11 21:29:58 2025
	minizinc-ide_2.1.7-1.1_loongarch64.deb	239 KB	Tue Mar 11 21:29:59 2025
	minizinc-ide_2.1.7.orig.tar.gz	210 KB	Tue Mar 11 21:29:59 2025