Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	522	log stats plain
-rw-r--r--	.gitignore	30	log stats plain
-rw-r--r--	Makefile	743	log stats plain
-rw-r--r--	PKGBUILD	745	log stats plain
-rwxr-xr-x	tla2json	60	log stats plain