diff options
| author |   Olivier Crête <tester@gentoo.org> | 2005-08-28 02:24:51 +0000 |
|---|---|---|
| committer | Olivier Crête <tester@gentoo.org> | 2005-08-28 02:24:51 +0000 |
| commit | c1bec17a55c1f88068d526b4a1eb0d1cd9454c2b (patch) | |
| tree | b5e1bde42e75f91693d10607e49bc5ec2b269705 /app-emacs/proofgeneral | |
| parent | Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing (diff) | |
| download | gentoo-2-c1bec17a55c1f88068d526b4a1eb0d1cd9454c2b.tar.gz gentoo-2-c1bec17a55c1f88068d526b4a1eb0d1cd9454c2b.tar.bz2 gentoo-2-c1bec17a55c1f88068d526b4a1eb0d1cd9454c2b.zip | |
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
(Portage version: 2.0.51.22-r2)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 3c45fc8e66ef..2760be30a5c7 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2005 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.8 2005/01/01 13:56:51 eradicator Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.9 2005/08/28 02:21:25 tester Exp $ + + 28 Aug 2005; Olivier Crête <tester@gentoo.org> proofgeneral-3.5.ebuild: + Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing 09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild, proofgeneral-3.5.ebuild: diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild index 3635d18228bc..9461a3018037 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2005 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.4 2005/01/01 13:56:51 eradicator Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.5 2005/08/28 02:21:25 tester Exp $ SIMPLE_ELISP='nil' inherit elisp @@ -13,7 +13,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="x86 ppc" +KEYWORDS="~amd64 ppc x86" IUSE="" DEPEND="virtual/emacs" |