diff options
author | Christian Faulhammer <opfer@gentoo.org> | 2007-10-16 06:27:25 +0000 |
---|---|---|
committer | Christian Faulhammer <opfer@gentoo.org> | 2007-10-16 06:27:25 +0000 |
commit | e60f034c4423dd3d5c90e81efef329390180f668 (patch) | |
tree | 57950c6199f64556fb3b980662d96fa9410967f7 /app-emacs/proofgeneral | |
parent | stable amd64, bug 195112 (diff) | |
download | gentoo-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/ChangeLog | 6 | ||||
-rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild | 4 |
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}" |