minizinc

	Name	Size	Modified
	..	—	—
	minizinc-dbgsym_2.9.2+dfsg1-1_loong64.deb	59 MB	Mon Sep 22 14:35:16 2025
	minizinc_2.9.2+dfsg1-1.debian.tar.xz	11 KB	Mon Sep 22 14:35:16 2025
	minizinc_2.9.2+dfsg1-1.dsc	1 KB	Mon Sep 22 14:35:13 2025
	minizinc_2.9.2+dfsg1-1_loong64.deb	2 MB	Mon Sep 22 14:35:13 2025
	minizinc_2.9.2+dfsg1.orig.tar.xz	977 KB	Mon Sep 22 14:35:14 2025