diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2007-10-16 06:27:36 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2007-10-16 06:27:36 +0000 |
| commit | 1a8b5db804afec4518743fed768e36ff82abd83b (patch) | |
| tree | 8332a1193bcda1d0ea0c094bee8e5b7e2a41a165 /app-emacs/proofgeneral/Manifest | |
| parent | stable amd64, bug 195156 (diff) | |
| download | gentoo-2-1a8b5db804afec4518743fed768e36ff82abd83b.tar.gz gentoo-2-1a8b5db804afec4518743fed768e36ff82abd83b.tar.bz2 gentoo-2-1a8b5db804afec4518743fed768e36ff82abd83b.zip | |
stable amd64, bug 195156
(Portage version: 2.1.3.9)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index bacbd621644b..b36b33198f87 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -10,14 +10,14 @@ MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interac 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 1343 RMD160 b1189825d12d5bf24ba959aa3b3b31178b4b42b9 SHA1 8d0ff13ac252722f2bf1cb2ab45a30a33e15acbc SHA256 a1784332ba13c9444d76d9efc08fc0428a4246f6136c066214b51c6b08dc2103 -MD5 2b5bde0551dc0c308927a5a550a0001c proofgeneral-3.5-r1.ebuild 1343 -RMD160 b1189825d12d5bf24ba959aa3b3b31178b4b42b9 proofgeneral-3.5-r1.ebuild 1343 -SHA256 a1784332ba13c9444d76d9efc08fc0428a4246f6136c066214b51c6b08dc2103 proofgeneral-3.5-r1.ebuild 1343 -MISC ChangeLog 2569 RMD160 4b2b3818836f95d95fbb5d1582df26b99d588a63 SHA1 be5a7dda5cf30e88403d2aa70443513a79185258 SHA256 18825ce4b22262a34a24f99bb0e7f1973b9628a441e67335edc756a751f57561 -MD5 b851a6663fa7bd0689b4e83174ff5d3f ChangeLog 2569 -RMD160 4b2b3818836f95d95fbb5d1582df26b99d588a63 ChangeLog 2569 -SHA256 18825ce4b22262a34a24f99bb0e7f1973b9628a441e67335edc756a751f57561 ChangeLog 2569 +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 @@ -28,7 +28,7 @@ SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/di -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) -iD8DBQFHDkCBOeoy/oIi7uwRAr3LAKCratOE0NEJucmrvm7MqUdMCvwcIQCcDkpn -ZzuHXF9/IGKo7+sBO5uzuik= -=0snE +iD8DBQFHFFnUNQqtfCuFneMRAtzEAJ4k8whaooKbyWfRLjV4N6y2kQ+UlwCgnVmQ +ePUKKXIg7OzInhryptlirHk= +=OR8k -----END PGP SIGNATURE----- |