Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	863	log stats plain
-rw-r--r--	.gitignore	22	log stats plain
-rw-r--r--	PKGBUILD	2082	log stats plain
-rw-r--r--	agda-2.6.2.2.patch	2830	log stats plain