diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2011-12-08 13:21:13 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2011-12-08 13:21:13 +0000 |
| commit | 2ecd665b9603b1ad75020c9b3614488505385e8c (patch) | |
| tree | 1baff777bc7193ad3c7662ce1164111877b14b09 /app-emacs/proofgeneral | |
| parent | Version bump, bug 386465. (diff) | |
| download | gentoo-2-2ecd665b9603b1ad75020c9b3614488505385e8c.tar.gz gentoo-2-2ecd665b9603b1ad75020c9b3614488505385e8c.tar.bz2 gentoo-2-2ecd665b9603b1ad75020c9b3614488505385e8c.zip | |
Version bump, bug 386465.
(Portage version: 2.1.10.39/cvs/Linux x86_64, signed Manifest commit with key 8222EEEC)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 0744e960715b..13417a9a8a4d 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -2,16 +2,19 @@ Hash: SHA1 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 DIST ProofGeneral-4.0.tgz 1351482 RMD160 1c89da5fb4ac718f5ac9ff2a940c1e2222f18236 SHA1 af3a821ce6b4d3d86a1eaa8b27e3e5902da384c7 SHA256 b8aeefd5619683216ff57bae81236dfab71d43d6eefa371d38749fc43415cfaa +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 -MISC ChangeLog 4733 RMD160 863eb032f842c667e62d9a9aee34402490f320b0 SHA1 88e67380373d8b466cd7308de15ce58654466d59 SHA256 5e088dea714f3a7eb8b455487f24f6fb051883d51bbef2650f72189a4e9c2d95 +EBUILD proofgeneral-4.1.ebuild 1530 RMD160 ef77a7af2b717db12d9a995499455b43bc74c5e1 SHA1 a1c6fc4f927d9b1e3c805e6bdf99f3286d87f80e SHA256 b2cd341ad3916bcb428a53fb610716eaa439bb19e8e0ef0717bce5913f4199de +MISC ChangeLog 4910 RMD160 603755e3b922da55cf1f1c97072e93c64beccf4a SHA1 a22877599324c89353a3deff98b43df93df78850 SHA256 dedc567f709cbddc28779873f2db9a4da8e810fc339cb3c84be1900e8ea86dbe MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.16 (GNU/Linux) +Version: GnuPG v2.0.18 (GNU/Linux) -iEYEARECAAYFAkz9k80ACgkQOeoy/oIi7uzqRQCeLyNInqXMuYTWs0ryY2ut/PAn -A4cAnjBNyf7+yVk4i1Uht8rjTZ7z/HCg -=EBnc +iEYEARECAAYFAk7gvAgACgkQOeoy/oIi7uxRNACgll1gmduOFjKRC4MwlSQYnFph +10QAn0z7JX3AzBrGH1jbi8U3tCYZRj8I +=6loK -----END PGP SIGNATURE----- |