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

AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac
AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1
DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b
DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
EBUILD proofgeneral-3.5-r1.ebuild 1342 RMD160 3c0147e2316f436c76dab7b6974d62d0d98ab743 SHA1 445d3f7e43c97c33d2262af7ccf96591e5d41775 SHA256 f3bc2686405cb388bba975b9ab988f148a78aef1f0de02ef5bed3825aaf18803
EBUILD proofgeneral-3.7.ebuild 1250 RMD160 ab121b21beb055840460bf8c4ce4c13612b2bb4e SHA1 9d3414ddccb475c4630d93044a278df036184929 SHA256 da0e9f1ae3aaefe0cc56e849fd3613849e03c493b7eb232899caaa3fb52c2af6
MISC ChangeLog 2948 RMD160 f91874879e3fd21980ac2154f7406248eb7c8883 SHA1 a22b8ef1c0e9203874521261ba279fabba3a06b6 SHA256 38c7bbd60f32498ef177a6120f294d17a3e0d87ee69d0de1bc8de1cc11b98c56
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.8 (GNU/Linux)

iEYEARECAAYFAkfF1U4ACgkQOeoy/oIi7uwPSgCeJIr9XHFhtG6x2zCJLxgy0ROc
ynMAn0LgwF/vWKdVLN08ZtQcr+B+EZro
=nT9j
-----END PGP SIGNATURE-----