diff options
| author |   Brent Baude <ranger@gentoo.org> | 2012-03-01 23:53:48 +0000 |
|---|---|---|
| committer | Brent Baude <ranger@gentoo.org> | 2012-03-01 23:53:48 +0000 |
| commit | 022a1bd2a2cddc81556c74b96e546f7d16b719d8 (patch) | |
| tree | 7354cbab6de0f23c0dbf81d372b6c6e4b99c0316 /app-emacs/proofgeneral | |
| parent | Marking debootstrap-1.0.38 ppc for bug 405365 (diff) | |
| download | historical-022a1bd2a2cddc81556c74b96e546f7d16b719d8.tar.gz historical-022a1bd2a2cddc81556c74b96e546f7d16b719d8.tar.bz2 historical-022a1bd2a2cddc81556c74b96e546f7d16b719d8.zip | |
Marking proofgeneral-4.1 ppc for bug 404605
Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.1.ebuild | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index f9176f7008b6..5bb2b6a13015 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.34 2012/02/26 15:48:32 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.35 2012/03/01 23:53:48 ranger Exp $ + + 01 Mar 2012; Brent Baude <ranger@gentoo.org> proofgeneral-4.1.ebuild: + Marking proofgeneral-4.1 ppc for bug 404605 26 Feb 2012; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.1.ebuild: Stable for amd64, wrt bug #404605 diff --git a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild index 9c2669350740..4fdff91d0b38 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.2 2012/02/26 15:48:32 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.3 2012/03/01 23:53:48 ranger Exp $ EAPI=4 NEED_EMACS=23 @@ -14,7 +14,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tgz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="amd64 ~ppc ~x86" +KEYWORDS="amd64 ppc ~x86" IUSE="" DEPEND=">=app-emacs/mmm-mode-0.4.8-r2" |