diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2012-02-26 15:48:32 +0000 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2012-02-26 15:48:32 +0000 |
| commit | 5154384a1179ca51f537b78308371b1f0e21557e (patch) | |
| tree | f508e57cb663178b538de97864acab809dd6c355 /app-emacs/proofgeneral | |
| parent | Stable for amd64, wrt bug #405719 (diff) | |
| download | gentoo-2-5154384a1179ca51f537b78308371b1f0e21557e.tar.gz gentoo-2-5154384a1179ca51f537b78308371b1f0e21557e.tar.bz2 gentoo-2-5154384a1179ca51f537b78308371b1f0e21557e.zip | |
Stable for amd64, wrt bug #404605
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 7 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.1.ebuild | 6 |
2 files changed, 8 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 970bb918983c..f9176f7008b6 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.33 2011/12/08 13:21:03 ulm Exp $ +# 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 $ + + 26 Feb 2012; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.1.ebuild: + Stable for amd64, wrt bug #404605 *proofgeneral-4.1 (08 Dec 2011) diff --git a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild index 0d4f8d9f04dd..9c2669350740 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2011 Gentoo Foundation +# 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.1 2011/12/08 13:21:03 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.2 2012/02/26 15:48:32 ago 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" |