Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	510	log stats plain
-rw-r--r--	.gitignore	29	log stats plain
-rw-r--r--	Makefile	163	log stats plain
-rw-r--r--	PKGBUILD	694	log stats plain
-rwxr-xr-x	tla2json	60	log stats plain