blob: 11887b15cd8093e6096b670e9470845825ed0178 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
-----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
DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
EBUILD proofgeneral-3.7.1.ebuild 1256 RMD160 d357a5e95d2161d4117f2968e46c9bb263187bcb SHA1 534c9f1eeed10dbabf1eda257fd90ba8500201ce SHA256 7cd0061471d1e6d1ec7ad13db6c5ab6748a50708db4ea71eb11d7d6648bc57e1
EBUILD proofgeneral-3.7.ebuild 1244 RMD160 daedb17521c750dc20c893c8f0769b24021c7ad7 SHA1 793d3b0c37c9ce59647fb03087272a3c08cff364 SHA256 4f70bd2262b48e9b5c93e6dcf8f64f18b567e49fb3cbf6777ab2473b7f76cd55
MISC ChangeLog 3768 RMD160 9a2f39fb99fc5d2bd499ea420b913adcfa785d7c SHA1 3e7548a3c5f83334c63afe8ebf3b2713fe57e559 SHA256 0d19c8da112e6442a31065d361f59d2253c6324f453d12aa09fe9aaedb27a331
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmCotUACgkQOeoy/oIi7uxVPACfeN9cMfCRwJDm8I+F09JUuQqu
fpUAoMUrKfs5IayRO9jVECllfcCthmtQ
=mxVM
-----END PGP SIGNATURE-----
|
GitWeb
