diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2010-02-11 09:56:43 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2010-02-11 09:56:43 +0000 |
| commit | 6329e4453c3ddba64671fc50e3dc52cfa69ad728 (patch) | |
| tree | e7c450a78d78f40581e0947266d7cce2733705ac /app-emacs/proofgeneral | |
| parent | Fix parallel make issue, install html documentation, bug 304399. (diff) | |
| download | gentoo-2-6329e4453c3ddba64671fc50e3dc52cfa69ad728.tar.gz gentoo-2-6329e4453c3ddba64671fc50e3dc52cfa69ad728.tar.bz2 gentoo-2-6329e4453c3ddba64671fc50e3dc52cfa69ad728.zip | |
Fix parallel make issue, install html documentation, bug 304399.
(Portage version: 2.2_rc62/cvs/Linux i686)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 88f2b6ee6e2d..87a7ea755c47 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,15 +1,15 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 -AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac +AUX 50proofgeneral-gentoo.el 68 RMD160 f88b8933267aaeb02694c155223c910bfbde8103 SHA1 131add694a99178ba800fe25f5906102ab39e2cf SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898 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 +EBUILD proofgeneral-3.7.1.ebuild 1344 RMD160 35cffe13a96d86d24a5586112b85822137a56229 SHA1 8c79e7ddcba6ed75e9b28ada8089ab8a0ae733d8 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba +MISC ChangeLog 4310 RMD160 ff298196bec3356dbae749101e732cb50e1696f8 SHA1 ad8aff2a3bb9d6542435c64213820e4b9533d9b3 SHA256 a0261303c5024e53186bd3f7b7f6c85cd9787962d6ac7fac00e8024b0e0173f3 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.11 (GNU/Linux) +Version: GnuPG v2.0.14 (GNU/Linux) -iEYEARECAAYFAkqJuEgACgkQNQqtfCuFnePp/QCZAcJ8mUBUCFk+2zPDADKASScA -zAEAni7cVTfJ9MtxgB54XwYYfGLLLbcI -=yAKE +iEYEARECAAYFAktz1GIACgkQOeoy/oIi7uxYewCfSXLe8sTVDf77cuIkh89cPIUe +XRIAni5+fLzIHh7pCaY9gUTkcbhQDTHW +=JIhi -----END PGP SIGNATURE----- |