MD5 0ac69bc707aede178cd203c75cea0d32 ChangeLog 973
MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275
MD5 02195fadaf8290e87a62e877d82a991b proofgeneral-3.5.ebuild 1333
MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68
MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69