-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

AUX 50proofgeneral-gentoo.el 68 RMD160 f88b8933267aaeb02694c155223c910bfbde8103 SHA1 131add694a99178ba800fe25f5906102ab39e2cf SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898
DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
EBUILD proofgeneral-3.7.1.ebuild 1344 RMD160 35cffe13a96d86d24a5586112b85822137a56229 SHA1 8c79e7ddcba6ed75e9b28ada8089ab8a0ae733d8 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba
MISC ChangeLog 4310 RMD160 ff298196bec3356dbae749101e732cb50e1696f8 SHA1 ad8aff2a3bb9d6542435c64213820e4b9533d9b3 SHA256 a0261303c5024e53186bd3f7b7f6c85cd9787962d6ac7fac00e8024b0e0173f3
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.14 (GNU/Linux)

iEYEARECAAYFAktz1GIACgkQOeoy/oIi7uxYewCfSXLe8sTVDf77cuIkh89cPIUe
XRIAni5+fLzIHh7pCaY9gUTkcbhQDTHW
=JIhi
-----END PGP SIGNATURE-----