Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	516	log stats plain
-rw-r--r--	.gitignore	30	log stats plain
-rw-r--r--	Makefile	692	log stats plain
-rw-r--r--	PKGBUILD	738	log stats plain
-rwxr-xr-x	tla2json	60	log stats plain