Arch Linux User Repository

summary log tree commit diff stats

Mode	Name	Size
-rw-r--r--	.SRCINFO	909	log stats plain
-rw-r--r--	ChangeLog	7091	log stats plain
-rw-r--r--	PKGBUILD	2149	log stats plain
-rw-r--r--	matita-0.99.3.patch	397	log stats plain
-rw-r--r--	matita.desktop	181	log stats plain