diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2007-10-08 21:59:23 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2007-10-08 21:59:23 +0000 |
| commit | a5974752a04499014ae65db160c8151ae52ea339 (patch) | |
| tree | 4616083fd5bc1297ee2b10710fb9dd3782b0ff88 /app-emacs/proofgeneral | |
| parent | stable x86, bug 195156 (diff) | |
| download | gentoo-2-a5974752a04499014ae65db160c8151ae52ea339.tar.gz gentoo-2-a5974752a04499014ae65db160c8151ae52ea339.tar.bz2 gentoo-2-a5974752a04499014ae65db160c8151ae52ea339.zip | |
stable x86, bug 195156
(Portage version: 2.1.3.9)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -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 e4a82751fae1..f7438ec55aab 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -10,18 +10,18 @@ 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 abb8b3df948fa6ed364a51c2966ef43441b42b9c SHA1 a946ad9432685a27d1046a8543b3ba30401c1989 SHA256 98768cf0209f171ebc0873d73c4752192bec0b582cecfaadd5c9cb409d6cbd61 -MD5 be63e15d8879579f5dd217e462232b38 proofgeneral-3.5-r1.ebuild 1343 -RMD160 abb8b3df948fa6ed364a51c2966ef43441b42b9c proofgeneral-3.5-r1.ebuild 1343 -SHA256 98768cf0209f171ebc0873d73c4752192bec0b582cecfaadd5c9cb409d6cbd61 proofgeneral-3.5-r1.ebuild 1343 +EBUILD proofgeneral-3.5-r1.ebuild 1344 RMD160 a243e0364972357e277e42f09f14b981905f2d05 SHA1 b4c48578ea11a5cba444f333e164e461edfcf8b9 SHA256 7ed27298834314f2c6e52293180a5daf9e3ed557600688f98f47fc813ea6d977 +MD5 168e116da963be7a83cc5a97808454e0 proofgeneral-3.5-r1.ebuild 1344 +RMD160 a243e0364972357e277e42f09f14b981905f2d05 proofgeneral-3.5-r1.ebuild 1344 +SHA256 7ed27298834314f2c6e52293180a5daf9e3ed557600688f98f47fc813ea6d977 proofgeneral-3.5-r1.ebuild 1344 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 2269 RMD160 85b638cd9da61a127db547d6590d25f2254a9712 SHA1 f8548bd0159b07ae0cfb54603742457ff6c7d1be SHA256 0928124452342f209b70c3c3081f13ce55bb13a605f3637d0753129ce8dc270b -MD5 61d27a7b609c3d0719cc54e7964c0bab ChangeLog 2269 -RMD160 85b638cd9da61a127db547d6590d25f2254a9712 ChangeLog 2269 -SHA256 0928124452342f209b70c3c3081f13ce55bb13a605f3637d0753129ce8dc270b ChangeLog 2269 +MISC ChangeLog 2382 RMD160 b9c7c64e9b426c39a0805033c2893876e2b56159 SHA1 7e64b64dbff7c2f3cdaf8018af22ea4e0b2ba1e8 SHA256 213cd404a4cd277b3282f6059b07b45a627a16f98a81182247676a661ca98e8c +MD5 f3de8a5cad5e64a1d526dd0ad8e652da ChangeLog 2382 +RMD160 b9c7c64e9b426c39a0805033c2893876e2b56159 ChangeLog 2382 +SHA256 213cd404a4cd277b3282f6059b07b45a627a16f98a81182247676a661ca98e8c ChangeLog 2382 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158 @@ -35,7 +35,7 @@ SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/di -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) -iD8DBQFHCIpoOeoy/oIi7uwRAqTzAJ42IkY9pULyIDCWqIkSghfuR9eIfwCgyMk2 -RiClNIxAudPXgSBJoq5v+7M= -=IQCQ +iD8DBQFHCqg4NQqtfCuFneMRArFjAJ9BmUVqAqexKhcnHiRZ+P1gvCsoTACgh+i+ +Q1c5a0xCABKx3lIuR35LJl0= +=cEC9 -----END PGP SIGNATURE----- |