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

AUX 50proofgeneral-gentoo.el 150 RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 SHA1 4f3fa87e00711d88458da71f7e61fd86e88a5c42 SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb
MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 files/50proofgeneral-gentoo.el 150
SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb files/50proofgeneral-gentoo.el 150
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 1441 RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf SHA1 6cf00626e3b72d7c1587ca3990908efd095a73c1 SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba
MD5 2504c8b61b28f8932205531896ab408a proofgeneral-3.5-r1.ebuild 1441
RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf proofgeneral-3.5-r1.ebuild 1441
SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba proofgeneral-3.5-r1.ebuild 1441
EBUILD proofgeneral-3.5.ebuild 1330 RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 SHA1 e8d572c5a8314883a2871183f3f0a74422c61c67 SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f
MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330
RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 proofgeneral-3.5.ebuild 1330
SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f proofgeneral-3.5.ebuild 1330
MISC ChangeLog 1582 RMD160 68d448225ee604da1c634b6d81960628fd38cd9f SHA1 83aa3c21173196d6ac0ec095e82a67d80d67dfaf SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269
MD5 572497842a23eef094ae5841a1bd73af ChangeLog 1582
RMD160 68d448225ee604da1c634b6d81960628fd38cd9f ChangeLog 1582
SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269 ChangeLog 1582
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.5 (GNU/Linux)

iD8DBQFFSlOuNQqtfCuFneMRAvFjAJwOaeI5WVlrenRFbmLXqpAKzGczzgCglMYb
BYBlXMYarGMNvfIu9nSQ6/s=
=lpOk
-----END PGP SIGNATURE-----