Willkommen in der MXP Repository

Index of

	Name	Last modified	Size
	Parent Directory		-
	proofgeneral-coq_3.7-4_all.deb	2010-10-12 05:08	71K
	proofgeneral-doc_3.7-4_all.deb	2010-10-12 05:08	88K
	proofgeneral-minlog_3.7-4_all.deb	2010-10-12 05:08	20K
	proofgeneral-misc_3.7-4_all.deb	2010-10-12 05:08	139K
	proofgeneral_3.7-4.diff.gz	2010-10-12 05:08	24K
	proofgeneral_3.7-4.dsc	2010-10-12 05:08	1.7K
	proofgeneral_3.7-4_all.deb	2010-10-12 05:08	471K
	proofgeneral_3.7.orig.tar.gz	2009-01-12 17:54	1.9M