blob: 9f4dc620869efca1d46c18b30f077f83035bba6c (
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.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
EBUILD proofgeneral-3.7.ebuild 1250 RMD160 7b33b5ae5c1707ad6988189ca2d7174e591b85d2 SHA1 2b60ce91b5bc0443e8cd2af61be79f5de74b6124 SHA256 881436c3d80cc0fc99e1cabf9c223f2889870784fab01c997f82e0dfaef5e7a1
MISC ChangeLog 3562 RMD160 dc746cff62b79c5d3b55d7b25e0b98a82961f0fb SHA1 ab77b73262893765bd50c5f4c938aa2dddcd0688 SHA256 d32439b8c77de321787b35d78fcebb75b33b65ada95b8aaffffd3de6efcfb273
MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.9 (GNU/Linux)
iEYEARECAAYFAkk6tS4ACgkQNQqtfCuFneO0WwCbBAqUjV1O1V/AugTPDDwFgjQk
OaIAni+j1CnbyAlC1HW985L8Ggk5nVWp
=eiXj
-----END PGP SIGNATURE-----
|
GitWeb
