diff options
author | Pacho Ramos <pacho@gentoo.org> | 2013-12-22 16:46:25 +0000 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2013-12-22 16:46:25 +0000 |
commit | aae3c02ec4b3f05f490e5e5eabc13f196d5ab15e (patch) | |
tree | fde34d0c4024783db6e4e50ea97df1cfa0401268 /app-emacs/proofgeneral | |
parent | Stable for HPPA (bug #495006). (diff) | |
download | gentoo-2-aae3c02ec4b3f05f490e5e5eabc13f196d5ab15e.tar.gz gentoo-2-aae3c02ec4b3f05f490e5e5eabc13f196d5ab15e.tar.bz2 gentoo-2-aae3c02ec4b3f05f490e5e5eabc13f196d5ab15e.zip |
amd64 stable, bug #490100
(Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key A188FBD4)
Diffstat (limited to 'app-emacs/proofgeneral')
-rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
-rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.2.ebuild | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index df40bc9c2d77..1fa54171d8c8 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.39 2013/12/21 16:11:39 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.40 2013/12/22 16:46:25 pacho Exp $ + + 22 Dec 2013; Pacho Ramos <pacho@gentoo.org> proofgeneral-4.2.ebuild: + amd64 stable, bug #490100 21 Dec 2013; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.2.ebuild: Stable for ppc, wrt bug #490100 diff --git a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild index dea059d0c705..723dbd310a33 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.2 2013/12/21 16:11:39 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.3 2013/12/22 16:46:25 pacho Exp $ EAPI=5 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" |