diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2008-01-31 11:32:33 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2008-01-31 11:32:33 +0000 |
| commit | b8e63f5365c03189f2ba80007ec2d2e12160797e (patch) | |
| tree | e7d27903997a58b0658a8c89f55176742c99eca2 /app-emacs/proofgeneral | |
| parent | Remove all old-style digests from the system and regen the Manifest files. (diff) | |
| download | gentoo-2-b8e63f5365c03189f2ba80007ec2d2e12160797e.tar.gz gentoo-2-b8e63f5365c03189f2ba80007ec2d2e12160797e.tar.bz2 gentoo-2-b8e63f5365c03189f2ba80007ec2d2e12160797e.zip | |
Remove all old-style digests from the system and regen the Manifest files.
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 28 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 | 3 |
2 files changed, 0 insertions, 31 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index b36b33198f87..8d111878ab48 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,34 +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 -SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a files/50proofgeneral-gentoo.el 104 AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 -MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 -RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 -SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b EBUILD proofgeneral-3.5-r1.ebuild 1342 RMD160 3c0147e2316f436c76dab7b6974d62d0d98ab743 SHA1 445d3f7e43c97c33d2262af7ccf96591e5d41775 SHA256 f3bc2686405cb388bba975b9ab988f148a78aef1f0de02ef5bed3825aaf18803 -MD5 248092f255ac429b3ef37e1baf5c3cfa proofgeneral-3.5-r1.ebuild 1342 -RMD160 3c0147e2316f436c76dab7b6974d62d0d98ab743 proofgeneral-3.5-r1.ebuild 1342 -SHA256 f3bc2686405cb388bba975b9ab988f148a78aef1f0de02ef5bed3825aaf18803 proofgeneral-3.5-r1.ebuild 1342 MISC ChangeLog 2684 RMD160 0982e915bc1cb7123b3af7536ee1c533978f1b76 SHA1 e8d58fe3adfe54a24afd952ad5e1b16a8d2b3cfe SHA256 cffb27108c5cd0f09e759defb4e068462596b79fa6bbb3b6352c2f4879673677 -MD5 549c618edf06ba5f7b145e517d4ee70a ChangeLog 2684 -RMD160 0982e915bc1cb7123b3af7536ee1c533978f1b76 ChangeLog 2684 -SHA256 cffb27108c5cd0f09e759defb4e068462596b79fa6bbb3b6352c2f4879673677 ChangeLog 2684 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-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) - -iD8DBQFHFFnUNQqtfCuFneMRAtzEAJ4k8whaooKbyWfRLjV4N6y2kQ+UlwCgnVmQ -ePUKKXIg7OzInhryptlirHk= -=OR8k ------END PGP SIGNATURE----- diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 deleted file mode 100644 index 87248b064c1a..000000000000 --- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956 -RMD160 08025f894cecc04b50003aee28270001eea5d198 ProofGeneral-3.5.tar.gz 1799956 -SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b ProofGeneral-3.5.tar.gz 1799956 |