diff options
| author |   Olivier Crête <tester@gentoo.org> | 2005-08-28 02:35:19 +0000 |
|---|---|---|
| committer | Olivier Crête <tester@gentoo.org> | 2005-08-28 02:35:19 +0000 |
| commit | af51415c84a972d0e53d51e32dddbdfd6a139d86 (patch) | |
| tree | 6a6f27ccaf2013d90ffcab93e141e7c80b1af66f /app-emacs/proofgeneral | |
| parent | Stable on amd64 and x86. (diff) | |
| download | historical-af51415c84a972d0e53d51e32dddbdfd6a139d86.tar.gz historical-af51415c84a972d0e53d51e32dddbdfd6a139d86.tar.bz2 historical-af51415c84a972d0e53d51e32dddbdfd6a139d86.zip | |
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
Package-Manager: portage-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" |