minizinc

	Name	Size	Modified
	..	—	—
	minizinc-dbgsym_2.8.5+dfsg1-2_loong64.deb	58 MB	Tue Oct 29 12:39:54 2024
	minizinc_2.8.5+dfsg1-2.debian.tar.xz	11 KB	Fri Nov 15 12:37:03 2024
	minizinc_2.8.5+dfsg1-2.dsc	1 KB	Fri Nov 15 12:37:03 2024
	minizinc_2.8.5+dfsg1-2_loong64.deb	2 MB	Tue Oct 29 12:39:58 2024
	minizinc_2.8.5+dfsg1.orig.tar.xz	957 KB	Fri Nov 15 12:37:03 2024