diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 21:31:09 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 21:31:09 +0000 |
| commit | 8b57a523b2b8bdd1230d06643f714b289d0820e0 (patch) | |
| tree | 55af436a153599005ffe52a9ee99e6827a287a5f /app-emacs/proofgeneral | |
| parent | move to /usr instead of root dir (diff) | |
| download | historical-8b57a523b2b8bdd1230d06643f714b289d0820e0.tar.gz historical-8b57a523b2b8bdd1230d06643f714b289d0820e0.tar.bz2 historical-8b57a523b2b8bdd1230d06643f714b289d0820e0.zip | |
Initial commit
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 10 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 3 |
2 files changed, 13 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog new file mode 100644 index 000000000000..880f437a0308 --- /dev/null +++ b/app-emacs/proofgeneral/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for app-emacs/proofgeneral +# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.1 2004/01/21 21:31:09 mattam Exp $ + +*proofgeneral-3.4 (21 Jan 2004) + + 21 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml, + proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el: + Initial version, related bug's #30394. + diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest new file mode 100644 index 000000000000..1eb8daa5f406 --- /dev/null +++ b/app-emacs/proofgeneral/Manifest @@ -0,0 +1,3 @@ +MD5 0750df9a66d80c89978473d45ddd1ac2 proofgeneral-3.4.ebuild 1252 +MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 +MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 |