diff options
| author |   Paweł Hajdan <phajdan.jr@gentoo.org> | 2012-03-08 11:31:41 +0000 |
|---|---|---|
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2012-03-08 11:31:41 +0000 |
| commit | f0908b5272f57b534359ae56a3f38a51b7fba86b (patch) | |
| tree | f3991cb515208efac269ca03cfcce3b48d568b40 /app-emacs | |
| parent | x86 stable wrt bug #405439 (diff) | |
| download | gentoo-2-f0908b5272f57b534359ae56a3f38a51b7fba86b.tar.gz gentoo-2-f0908b5272f57b534359ae56a3f38a51b7fba86b.tar.bz2 gentoo-2-f0908b5272f57b534359ae56a3f38a51b7fba86b.zip | |
x86 stable wrt bug #404605
(Portage version: 2.1.10.44/cvs/Linux i686)
Diffstat (limited to 'app-emacs')
| -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 5bb2b6a13015..9bece0081469 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.35 2012/03/01 23:53:48 ranger Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.36 2012/03/08 11:31:41 phajdan.jr Exp $ + + 08 Mar 2012; Pawel Hajdan jr <phajdan.jr@gentoo.org> proofgeneral-4.1.ebuild: + x86 stable wrt bug #404605 01 Mar 2012; Brent Baude <ranger@gentoo.org> proofgeneral-4.1.ebuild: Marking proofgeneral-4.1 ppc for bug 404605 diff --git a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild index 4fdff91d0b38..312a524bf2f6 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.3 2012/03/01 23:53:48 ranger Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.4 2012/03/08 11:31:41 phajdan.jr 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" |