diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2007-10-11 15:25:59 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2007-10-11 15:25:59 +0000 |
| commit | 5eba9fbe16007a1dc6634b8f4648ccfdf7eae08c (patch) | |
| tree | dbb9964ee0ba9b50eb6b3d1b8e642ba3e4b0336c /app-emacs/proofgeneral | |
| parent | Remove old. (diff) | |
| download | gentoo-2-5eba9fbe16007a1dc6634b8f4648ccfdf7eae08c.tar.gz gentoo-2-5eba9fbe16007a1dc6634b8f4648ccfdf7eae08c.tar.bz2 gentoo-2-5eba9fbe16007a1dc6634b8f4648ccfdf7eae08c.zip | |
Remove old.
(Portage version: 2.1.3.12)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 25 |
1 files changed, 14 insertions, 11 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 44887acf3924..bacbd621644b 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX 50proofgeneral-gentoo.el 104 RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 SHA1 90e1dfe5f8a1c4f2849b114b829bd1db9cc1efb7 SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a MD5 364011e7b02a703d04289f7d0f841986 files/50proofgeneral-gentoo.el 104 RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 files/50proofgeneral-gentoo.el 104 @@ -11,21 +14,21 @@ EBUILD proofgeneral-3.5-r1.ebuild 1343 RMD160 b1189825d12d5bf24ba959aa3b3b31178b MD5 2b5bde0551dc0c308927a5a550a0001c proofgeneral-3.5-r1.ebuild 1343 RMD160 b1189825d12d5bf24ba959aa3b3b31178b4b42b9 proofgeneral-3.5-r1.ebuild 1343 SHA256 a1784332ba13c9444d76d9efc08fc0428a4246f6136c066214b51c6b08dc2103 proofgeneral-3.5-r1.ebuild 1343 -EBUILD proofgeneral-3.5.ebuild 1265 RMD160 2ab40904e8bb968d6d28d702d6d1126e234faeed SHA1 17c2a24ac8d42a01c036e0335c946ae071224efb SHA256 af35959119fe717c840bc6a9314fa2eb1f13a9e7ead11683f5b1a6264679a874 -MD5 10e294d8501d67ae850d7ddeebd0f667 proofgeneral-3.5.ebuild 1265 -RMD160 2ab40904e8bb968d6d28d702d6d1126e234faeed proofgeneral-3.5.ebuild 1265 -SHA256 af35959119fe717c840bc6a9314fa2eb1f13a9e7ead11683f5b1a6264679a874 proofgeneral-3.5.ebuild 1265 -MISC ChangeLog 2483 RMD160 8968e7221fe9c76b9e4fa539be4e2b9a1cfabf5c SHA1 908139217c0dd7236598b3c3bfbbbc4810102a29 SHA256 5c1d2a94d4e7c2d1acf82cdb0307ba130536f8e1a492c05b4d0d7a0ad5684314 -MD5 9a68fcf8e6cd9d085c3dd412879170fa ChangeLog 2483 -RMD160 8968e7221fe9c76b9e4fa539be4e2b9a1cfabf5c ChangeLog 2483 -SHA256 5c1d2a94d4e7c2d1acf82cdb0307ba130536f8e1a492c05b4d0d7a0ad5684314 ChangeLog 2483 +MISC ChangeLog 2569 RMD160 4b2b3818836f95d95fbb5d1582df26b99d588a63 SHA1 be5a7dda5cf30e88403d2aa70443513a79185258 SHA256 18825ce4b22262a34a24f99bb0e7f1973b9628a441e67335edc756a751f57561 +MD5 b851a6663fa7bd0689b4e83174ff5d3f ChangeLog 2569 +RMD160 4b2b3818836f95d95fbb5d1582df26b99d588a63 ChangeLog 2569 +SHA256 18825ce4b22262a34a24f99bb0e7f1973b9628a441e67335edc756a751f57561 ChangeLog 2569 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab metadata.xml 158 -MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5 253 -RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5 253 -SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5 253 MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253 RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253 SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v1.4.7 (GNU/Linux) + +iD8DBQFHDkCBOeoy/oIi7uwRAr3LAKCratOE0NEJucmrvm7MqUdMCvwcIQCcDkpn +ZzuHXF9/IGKo7+sBO5uzuik= +=0snE +-----END PGP SIGNATURE----- |