minizinc

	Name	Size	Modified
	..	—	—
	minizinc-dbgsym_2.1.7+dfsg1-1_mips64el.deb	47 MB	Mon May 10 15:30:02 2021
	minizinc_2.1.7+dfsg1-1.debian.tar.xz	9 KB	Mon May 10 15:30:02 2021
	minizinc_2.1.7+dfsg1-1.dsc	924 bytes	Mon May 10 15:30:02 2021
	minizinc_2.1.7+dfsg1-1_mips64el.deb	1 MB	Mon May 10 15:30:02 2021
	minizinc_2.1.7+dfsg1.orig.tar.xz	486 KB	Mon May 10 15:30:02 2021