diff options
| author |   Mamoru Komachi <usata@gentoo.org> | 2004-03-15 01:28:18 +0000 |
|---|---|---|
| committer | Mamoru Komachi <usata@gentoo.org> | 2004-03-15 01:28:18 +0000 |
| commit | c299316cfeb41ee506c77e45e4c29cd85ff77000 (patch) | |
| tree | e832b624f87b36549d0978f13c4e30a7b2442d71 /app-emacs | |
| parent | Fixed readonly variable assignment to PN and P. See bug #44712 (diff) | |
| download | gentoo-2-c299316cfeb41ee506c77e45e4c29cd85ff77000.tar.gz gentoo-2-c299316cfeb41ee506c77e45e4c29cd85ff77000.tar.bz2 gentoo-2-c299316cfeb41ee506c77e45e4c29cd85ff77000.zip | |
Fixed readonly variable assignment to PN and P. See bug #44712 (Manifest recommit)
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index b6f71a7bbb65..a3d61b6c33a3 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,5 @@ +MD5 d9874b1630d49c16d6bcc7de42bf6c5f ChangeLog 681 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 ea92b64cf8a0dfefc6ec04780e4dffe5 ChangeLog 542 -MD5 51893d7e216e518379a4533883c86a7b proofgeneral-3.4.ebuild 1283 -MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 +MD5 0f9b58c7fc1b44abd3332087a7430471 proofgeneral-3.4.ebuild 1285 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 +MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 |