Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	807	log stats plain
-rw-r--r--	PKGBUILD	2161	log stats plain
-rw-r--r--	minizinc-ide.desktop	222	log stats plain
-rw-r--r--	minizinc.png	2451	log stats plain