diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2008-03-31 06:18:49 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2008-03-31 06:18:49 +0000 |
| commit | b9fc4e75fc7f8a8739e22ba39f04cf63ab95c172 (patch) | |
| tree | 02253fee6ab790c1395f2f82cb3621ae53c245db /app-emacs/proofgeneral | |
| parent | new patch for ssl issue in bug 214892 (diff) | |
| download | gentoo-2-b9fc4e75fc7f8a8739e22ba39f04cf63ab95c172.tar.gz gentoo-2-b9fc4e75fc7f8a8739e22ba39f04cf63ab95c172.tar.bz2 gentoo-2-b9fc4e75fc7f8a8739e22ba39f04cf63ab95c172.zip | |
stable x86, 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 caa002def3d3..ca6203b0ea84 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.20 2008/03/30 23:26:37 coldwind Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.21 2008/03/31 06:18:49 opfer Exp $ + + 31 Mar 2008; Christian Faulhammer <opfer@gentoo.org> + proofgeneral-3.7.ebuild: + stable x86, bug 215344 30 Mar 2008; Santiago M. Mola <coldwind@gentoo.org> proofgeneral-3.7.ebuild: diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild index 7398c7921fc4..f40bc5909db0 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.2 2008/03/30 23:26:37 coldwind Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.3 2008/03/31 06:18:49 opfer 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}" |