summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Faulhammer <opfer@gentoo.org>2007-10-16 06:27:25 +0000
committerChristian Faulhammer <opfer@gentoo.org>2007-10-16 06:27:25 +0000
commite60f034c4423dd3d5c90e81efef329390180f668 (patch)
tree57950c6199f64556fb3b980662d96fa9410967f7 /app-emacs/proofgeneral
parentstable amd64, bug 195112 (diff)
downloadgentoo-2-e60f034c4423dd3d5c90e81efef329390180f668.tar.gz
gentoo-2-e60f034c4423dd3d5c90e81efef329390180f668.tar.bz2
gentoo-2-e60f034c4423dd3d5c90e81efef329390180f668.zip
stable amd64, bug 195156
(Portage version: 2.1.3.9)
Diffstat (limited to 'app-emacs/proofgeneral')
-rw-r--r--app-emacs/proofgeneral/ChangeLog6
-rw-r--r--app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild4
2 files changed, 7 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index cde564852990..d2b6de5df640 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,10 @@
# ChangeLog for app-emacs/proofgeneral
# Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.17 2007/10/11 15:25:40 ulm Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.18 2007/10/16 06:27:25 opfer Exp $
+
+ 16 Oct 2007; Christian Faulhammer <opfer@gentoo.org>
+ proofgeneral-3.5-r1.ebuild:
+ stable amd64, bug 195156
11 Oct 2007; Ulrich Mueller <ulm@gentoo.org> -proofgeneral-3.5.ebuild:
Remove old.
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
index add9075ae03b..2cc4f0f9d859 100644
--- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2007 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.6 2007/10/11 13:31:14 pylon Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.7 2007/10/16 06:27:25 opfer Exp $
inherit elisp eutils
@@ -12,7 +12,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ppc x86"
+KEYWORDS="amd64 ppc x86"
IUSE=""
S="${WORKDIR}/${MY_PN}"