diff options
author | Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 13:15:13 +0000 |
---|---|---|
committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 13:15:13 +0000 |
commit | 5bc2c33439b51a13b7bdca11f60801ae20b5a2cb (patch) | |
tree | 42f9bc00efebd408f41f36b0917aa2c2832ec5ad /app-emacs/proofgeneral/files | |
parent | Added a linux/pid.h fix to the 2.6.7 appCompat patch so gpm compiles. (Manife... (diff) | |
download | gentoo-2-5bc2c33439b51a13b7bdca11f60801ae20b5a2cb.tar.gz gentoo-2-5bc2c33439b51a13b7bdca11f60801ae20b5a2cb.tar.bz2 gentoo-2-5bc2c33439b51a13b7bdca11f60801ae20b5a2cb.zip |
Version bump, needs test as we use the packages own Makefile now.
Diffstat (limited to 'app-emacs/proofgeneral/files')
-rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.5 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 new file mode 100644 index 000000000000..4a7a7c325bce --- /dev/null +++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 @@ -0,0 +1 @@ +MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956 |