diff options
| author |   Christian Faulhammer <fauli@gentoo.org> | 2009-06-04 19:24:04 +0000 |
|---|---|---|
| committer | Christian Faulhammer <fauli@gentoo.org> | 2009-06-04 19:24:04 +0000 |
| commit | b6ffc183079e96a85ee77bb6e8ada842cbac77f9 (patch) | |
| tree | 14b6df38e3076a9162a11d7f6f95073dcb2050c3 /app-emacs/proofgeneral | |
| parent | stable x86, bug 272465 (diff) | |
| download | historical-b6ffc183079e96a85ee77bb6e8ada842cbac77f9.tar.gz historical-b6ffc183079e96a85ee77bb6e8ada842cbac77f9.tar.bz2 historical-b6ffc183079e96a85ee77bb6e8ada842cbac77f9.zip | |
stable x86, bug 272471
Package-Manager: portage-2.1.6.11/cvs/Linux i686
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 8 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild | 4 |
2 files changed, 8 insertions, 4 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index c4f8ac1f04f9..3a1f786db70c 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral -# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.25 2009/01/30 06:47:52 ulm Exp $ +# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.26 2009/06/04 19:24:04 fauli Exp $ + + 04 Jun 2009; Christian Faulhammer <fauli@gentoo.org> + proofgeneral-3.7.1.ebuild: + stable x86, bug 272471 *proofgeneral-3.7.1 (30 Jan 2009) diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild index 783877b567ab..92eb6353d463 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.1 2009/01/30 06:47:52 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.2 2009/06/04 19:24:04 fauli 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}" |