diff options
| author |   Markus Meier <maekke@gentoo.org> | 2009-06-11 19:41:23 +0000 |
|---|---|---|
| committer | Markus Meier <maekke@gentoo.org> | 2009-06-11 19:41:23 +0000 |
| commit | 93fa5cf2412716033f5b9f42dc1f4ca1c8237fbd (patch) | |
| tree | e06b5a36cd699ed37dea6ed9f57cb9fb8fc040ab /app-emacs/proofgeneral | |
| parent | amd64 stable, bug #272465 (diff) | |
| download | historical-93fa5cf2412716033f5b9f42dc1f4ca1c8237fbd.tar.gz historical-93fa5cf2412716033f5b9f42dc1f4ca1c8237fbd.tar.bz2 historical-93fa5cf2412716033f5b9f42dc1f4ca1c8237fbd.zip | |
amd64 stable, bug #272471
Package-Manager: portage-2.1.6.13/cvs/Linux x86_64
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index dbdd5eeba0f3..784a60390796 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.27 2009/06/06 17:42:33 nixnut Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.28 2009/06/11 19:41:23 maekke Exp $ + + 11 Jun 2009; Markus Meier <maekke@gentoo.org> proofgeneral-3.7.1.ebuild: + amd64 stable, bug #272471 06 Jun 2009; nixnut <nixnut@gentoo.org> proofgeneral-3.7.1.ebuild: ppc stable #272471 diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild index ab369c4f0a7d..2620d6e8ac70 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.3 2009/06/06 17:42:33 nixnut Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.4 2009/06/11 19:41:23 maekke 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}" |