diff options
| author |   Christian Faulhammer <fauli@gentoo.org> | 2007-10-16 06:27:25 +0000 |
|---|---|---|
| committer | Christian Faulhammer <fauli@gentoo.org> | 2007-10-16 06:27:25 +0000 |
| commit | 15669bf55001377429f9ca7a9bd8e59642f548b8 (patch) | |
| tree | 0bcc4bc9b2eca80ba4650666e75ac778ff3ea144 /app-emacs/proofgeneral | |
| parent | stable amd64, bug 195112 (diff) | |
| download | historical-15669bf55001377429f9ca7a9bd8e59642f548b8.tar.gz historical-15669bf55001377429f9ca7a9bd8e59642f548b8.tar.bz2 historical-15669bf55001377429f9ca7a9bd8e59642f548b8.zip | |
stable amd64, bug 195156
Package-Manager: portage-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}" |