diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 12:37:09 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 12:37:09 +0000 |
| commit | 229b162f2a636a8349d1651e7547a41ef7d4c8f0 (patch) | |
| tree | 276d3796ae79fa27f62fc62546f3a26c4b0e4bd4 /app-emacs | |
| parent | Removing "futexes" from the DESCRIPTION since the kernel doesn't seem to cont... (diff) | |
| download | historical-229b162f2a636a8349d1651e7547a41ef7d4c8f0.tar.gz historical-229b162f2a636a8349d1651e7547a41ef7d4c8f0.tar.bz2 historical-229b162f2a636a8349d1651e7547a41ef7d4c8f0.zip | |
Move to stable on x86 and ppc.
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 4 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.4.ebuild | 4 |
3 files changed, 8 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index bcfdce1f753f..c860b9dbcfaa 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # 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.3 2004/03/15 01:28:10 usata Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.4 2004/06/20 12:37:09 mattam Exp $ + + 20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild: + Move to stable. 15 Mar 2004; Mamoru KOMACHI <usata@gentoo.org> proofgeneral-3.4.ebuild: Fixed readonly variable assignment to PN and P. See bug #44712 diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index a3d61b6c33a3..3383b11c3479 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,5 @@ -MD5 d9874b1630d49c16d6bcc7de42bf6c5f ChangeLog 681 +MD5 dc7c253c4ce7533fba69bac89451ae0c ChangeLog 776 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 0f9b58c7fc1b44abd3332087a7430471 proofgeneral-3.4.ebuild 1285 +MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild index 0d44670714b4..52190276ceb4 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2004 Gentoo Technologies, Inc. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.4 2004/06/01 14:09:05 vapier Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.5 2004/06/20 12:37:09 mattam Exp $ SIMPLE_ELISP='nil' inherit elisp @@ -13,7 +13,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/${MY_PN}-${PV}.tar.gz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="~x86 ~ppc" +KEYWORDS="x86 ppc" IUSE="" DEPEND="virtual/emacs" |