minizinc

	Name	Size	Modified
	..	—	—
	minizinc-dbgsym_2.1.7+dfsg1-1.1_loongarch64.deb	46 MB	Tue Mar 11 21:27:06 2025
	minizinc_2.1.7+dfsg1-1.1.debian.tar.xz	9 KB	Tue Mar 11 21:27:06 2025
	minizinc_2.1.7+dfsg1-1.1.dsc	932 bytes	Tue Mar 11 21:27:06 2025
	minizinc_2.1.7+dfsg1-1.1_loongarch64.deb	1 MB	Tue Mar 11 21:27:06 2025
	minizinc_2.1.7+dfsg1.orig.tar.xz	486 KB	Tue Mar 11 21:27:06 2025