MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
MD5 ea92b64cf8a0dfefc6ec04780e4dffe5 ChangeLog 542
MD5 51893d7e216e518379a4533883c86a7b proofgeneral-3.4.ebuild 1283
MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68
MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150