Index of /repository/archive/pool/main/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral_3.5.orig.tar.gz	2004-08-20 14:32	1.7M
	proofgeneral-coq_3.5-4.1_all.deb	2006-12-19 19:47	44K
	proofgeneral-doc_3.5-4.1_all.deb	2006-12-19 19:47	119K
	proofgeneral-minlog_3.5-4.1_i386.deb	2006-12-19 19:47	17K
	proofgeneral-misc_3.5-4.1_all.deb	2006-12-19 19:47	147K
	proofgeneral_3.5-4.1.diff.gz	2006-12-19 19:47	20K
	proofgeneral_3.5-4.1.dsc	2006-12-19 19:47	675
	proofgeneral_3.5-4.1_all.deb	2006-12-19 19:47	411K