diff options
| author |   Santiago M. Mola <coldwind@gentoo.org> | 2008-03-30 23:26:37 +0000 |
|---|---|---|
| committer | Santiago M. Mola <coldwind@gentoo.org> | 2008-03-30 23:26:37 +0000 |
| commit | df9c6072909c7424b5e47492f68c5fc7ef3d7594 (patch) | |
| tree | 7dfc037319f9a541e2f3ed54225a5e00be4f3c3d /app-emacs/proofgeneral | |
| parent | amd64 stable wrt bug #215494 (diff) | |
| download | gentoo-2-df9c6072909c7424b5e47492f68c5fc7ef3d7594.tar.gz gentoo-2-df9c6072909c7424b5e47492f68c5fc7ef3d7594.tar.bz2 gentoo-2-df9c6072909c7424b5e47492f68c5fc7ef3d7594.zip | |
amd64 stable wrt bug #215344
(Portage version: 2.1.4.4)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.ebuild | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 9f48aa5e5b52..caa002def3d3 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.19 2008/02/27 21:26:46 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.20 2008/03/30 23:26:37 coldwind Exp $ + + 30 Mar 2008; Santiago M. Mola <coldwind@gentoo.org> + proofgeneral-3.7.ebuild: + amd64 stable wrt bug #215344 *proofgeneral-3.7 (27 Feb 2008) diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild index ab15747448d9..7398c7921fc4 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.1 2008/02/27 21:26:46 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.2 2008/03/30 23:26:37 coldwind Exp $ inherit elisp @@ -11,7 +11,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="" S="${WORKDIR}/${MY_PN}-${PV}" |