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

AUX 50proofgeneral-gentoo.el 104 RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 SHA1 90e1dfe5f8a1c4f2849b114b829bd1db9cc1efb7 SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a
MD5 364011e7b02a703d04289f7d0f841986 files/50proofgeneral-gentoo.el 104
RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 files/50proofgeneral-gentoo.el 104
SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a files/50proofgeneral-gentoo.el 104
AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1
MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257
DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b
EBUILD proofgeneral-3.5-r1.ebuild 1369 RMD160 6e1a1e960f00b77ab91cb7bb10cf91b47f9bec51 SHA1 88c4fa199e2a8441eee31a917217370810803388 SHA256 a86dab4cc3ff71ceb4778f97624a5885d52b4e1587e5b2a04f7f1eca7cc285b1
MD5 f82a87525b708a4eda580170df58689e proofgeneral-3.5-r1.ebuild 1369
RMD160 6e1a1e960f00b77ab91cb7bb10cf91b47f9bec51 proofgeneral-3.5-r1.ebuild 1369
SHA256 a86dab4cc3ff71ceb4778f97624a5885d52b4e1587e5b2a04f7f1eca7cc285b1 proofgeneral-3.5-r1.ebuild 1369
EBUILD proofgeneral-3.5.ebuild 1327 RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 SHA1 b3b3a6cc1d3ecc0d9f9fc418398a76b21375a241 SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68
MD5 7f3f9115917195da81324382993ac07f proofgeneral-3.5.ebuild 1327
RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 proofgeneral-3.5.ebuild 1327
SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 proofgeneral-3.5.ebuild 1327
MISC ChangeLog 2088 RMD160 a0ad09246e0b022de34a98ef8427e9306ae4ec3b SHA1 5334c4e731a53a7d2aa7baee7501c8d0133800a6 SHA256 ef56b8ff1fd7f259aca15340cbd11cc63a5db0f7419207a6c534a864d35b7007
MD5 5fad5d164f5b490b0b01d2941624c40f ChangeLog 2088
RMD160 a0ad09246e0b022de34a98ef8427e9306ae4ec3b ChangeLog 2088
SHA256 ef56b8ff1fd7f259aca15340cbd11cc63a5db0f7419207a6c534a864d35b7007 ChangeLog 2088
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158
SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab metadata.xml 158
MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5 253
RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5 253
SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5 253
MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253
RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253
SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)

iD8DBQFGifsYNQqtfCuFneMRAlgKAJ0UKYvX34d3Yz9nbi7xrWOrq5p5BwCdFDWY
Qz6qZ0hSG0czW24Dnk0QVw8=
=Pu13
-----END PGP SIGNATURE-----