Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	806	log stats plain
-rw-r--r--	PKGBUILD	1477	log stats plain
-rw-r--r--	minizinc-ide.desktop	358	log stats plain
-rw-r--r--	minizinc-ide.install	505	log stats plain