summaryrefslogtreecommitdiff
blob: 88f2b6ee6e2d756199f6cae34511e0248487f9fe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac
DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
EBUILD proofgeneral-3.7.1.ebuild 1256 RMD160 3e7737df98424ccf6a0a464176969dc769d4891d SHA1 3c77d03fbf01d232b07bb5b49e4bbdbb6ae728fc SHA256 877a17bce348d822437625e7a4a811079f1c8843e9a59588101ef8f79b69a33e
MISC ChangeLog 4170 RMD160 e62b34faa8949a2fa9984df3817b21c1075449c3 SHA1 9aea313ff62882e5908ac9df34b923666926a6c0 SHA256 fca5fa7cfdf5840dda602951c61f36b0c889dfe53d96371c707944e869d8287e
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.11 (GNU/Linux)

iEYEARECAAYFAkqJuEgACgkQNQqtfCuFnePp/QCZAcJ8mUBUCFk+2zPDADKASScA
zAEAni7cVTfJ9MtxgB54XwYYfGLLLbcI
=yAKE
-----END PGP SIGNATURE-----