Index of /ubuntu/pool/universe/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-doc_4.4..>	2019-12-19 13:28	655K
	proofgeneral-doc_4.5..>	2023-08-17 13:49	667K
	proofgeneral_4.4.1~p..>	2019-12-19 13:28	530K
	proofgeneral_4.5-1_a..>	2023-08-17 13:49	577K