Index of /ubuntu-test-rebuild-20240606-noble-o3/ubuntu/pool/universe/p/proofgeneral

	Name	Last modified	Size
	Parent Directory		-
	proofgeneral_4.5-1_all.deb	2024-06-08 16:38	577K
	proofgeneral-doc_4.5-1_all.deb	2024-06-08 16:38	646K