100644 blob 3789e04d25cbe3518a24c095bb48e449ba769938	Manifest
040000 tree 13c5e96909dea691af4da7b76bca21b8ea5071a9	files
100644 blob c438baf3b326112f71d094b5edcfdf6ba8570644	metadata.xml
100644 blob ee26d59d760677984fae7662eb844b6cc263dce1	proofgeneral-4.2.ebuild