summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPacho Ramos <pacho@gentoo.org>2013-12-22 16:46:25 +0000
committerPacho Ramos <pacho@gentoo.org>2013-12-22 16:46:25 +0000
commitaae3c02ec4b3f05f490e5e5eabc13f196d5ab15e (patch)
treefde34d0c4024783db6e4e50ea97df1cfa0401268 /app-emacs/proofgeneral
parentStable for HPPA (bug #495006). (diff)
downloadgentoo-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/ChangeLog5
-rw-r--r--app-emacs/proofgeneral/proofgeneral-4.2.ebuild4
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"