diff options
| author |   Paweł Hajdan <phajdan.jr@gentoo.org> | 2012-03-08 11:31:48 +0000 |
|---|---|---|
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2012-03-08 11:31:48 +0000 |
| commit | eb4a4f510a762710aec6a2645a545c64518d63e8 (patch) | |
| tree | 51e781f279a762de51e01095753907178a486353 /app-emacs | |
| parent | x86 stable wrt bug #404605 (diff) | |
| download | gentoo-2-eb4a4f510a762710aec6a2645a545c64518d63e8.tar.gz gentoo-2-eb4a4f510a762710aec6a2645a545c64518d63e8.tar.bz2 gentoo-2-eb4a4f510a762710aec6a2645a545c64518d63e8.zip | |
x86 stable wrt bug #404605
(Portage version: 2.1.10.44/cvs/Linux i686, signed Manifest commit with key 30427902)
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index e745157227df..f61bb953037a 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA512 + AUX 50proofgeneral-gentoo.el 68 RMD160 f88b8933267aaeb02694c155223c910bfbde8103 SHA1 131add694a99178ba800fe25f5906102ab39e2cf SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898 AUX proofgeneral-4.1-emacs-24.patch 3180 RMD160 b46f2a73f9cc4ffd7f5641a14c9b92dd4d6a7919 SHA1 39574d11b30e9d3b4fe16ff9bcc5f8673abbe1e9 SHA256 0c12b506ade463617fe2cbfa003b2661ae6e0d1c276c8960c2dac18faa388fda DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93 @@ -5,6 +8,13 @@ DIST ProofGeneral-4.0.tgz 1351482 RMD160 1c89da5fb4ac718f5ac9ff2a940c1e2222f1823 DIST ProofGeneral-4.1.tgz 1428499 RMD160 d7f677926117b859b8b3087f46d349f5aec9d843 SHA1 0dd18bd0bdad8faab76f61bffc8e432c3ed7aeaf SHA256 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7 EBUILD proofgeneral-3.7.1.ebuild 1344 RMD160 35cffe13a96d86d24a5586112b85822137a56229 SHA1 8c79e7ddcba6ed75e9b28ada8089ab8a0ae733d8 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba EBUILD proofgeneral-4.0.ebuild 1528 RMD160 d10607b1bfa8cdadaede24f9497f52b2ddf9b23e SHA1 178ce52828fd9934a533b0bdb2cb60ec8a458622 SHA256 8d9e9a1e1c800a7333eb75fd8ab4113817d28be3f19452aacf06d2af4699263f -EBUILD proofgeneral-4.1.ebuild 1531 RMD160 bbd5cc543fa4b5d801cefebf4d3eb6005be9d456 SHA1 01061992d1cabcc8f6cf2aedbf88f4ca1b9f1f47 SHA256 1e16b08f103ce1a12f314b175a2b6e0e9eb55867339d91fb0b5a8cec84ab6863 -MISC ChangeLog 5143 RMD160 64410e4dc128c1344e769973d985a301f6e5d2fa SHA1 5f6a3c697f13f552d01a9b786ea8d0d2414ef579 SHA256 9f863921e10359d9144b9ea953b892b77f84c8fb8d549002063cafcd60d71a1b +EBUILD proofgeneral-4.1.ebuild 1534 RMD160 e021919b507d42223eb9efca49c4960f6adad752 SHA1 cf9ecb3eaec4a623c17c01a6b7bb6f17852884f0 SHA256 c387ce21706df369b70ab549e09085ced2634dcc68f90b5f9b698381076175c4 +MISC ChangeLog 5257 RMD160 1bcec8e51f91a10cade12ab4effe21cb1f238605 SHA1 8b1b99f5c1772c5634da9f7d6167344f1ff749e8 SHA256 8b8cd7cdd59b6f1e39d8ffc027af11f6ab34218761110485e730a76e87749068 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iEYEAREKAAYFAk9YmKMACgkQuUQtlDBCeQKUnwCfaXLucWj9XqxrkqwiVYn0+IJ3 +UEcAn2rwYYXIVpPxAgb9uZg/VwXSG0T9 +=+t2K +-----END PGP SIGNATURE----- |