diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2013-12-24 12:45:52 +0000 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2013-12-24 12:45:52 +0000 |
| commit | 22d8b79f21242279a5620e27befe8ff6fe2cc7ad (patch) | |
| tree | 76cad1b1a0a8e256c65714a001728e9bb94096ee /app-emacs/proofgeneral | |
| parent | Stable for x86, wrt bug #486002 (diff) | |
| download | gentoo-2-22d8b79f21242279a5620e27befe8ff6fe2cc7ad.tar.gz gentoo-2-22d8b79f21242279a5620e27befe8ff6fe2cc7ad.tar.bz2 gentoo-2-22d8b79f21242279a5620e27befe8ff6fe2cc7ad.zip | |
Stable for x86, wrt bug #490100
(Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.2.ebuild | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 1fa54171d8c8..f8ee3040d5d2 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.40 2013/12/22 16:46:25 pacho Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.41 2013/12/24 12:45:52 ago Exp $ + + 24 Dec 2013; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.2.ebuild: + Stable for x86, wrt bug #490100 22 Dec 2013; Pacho Ramos <pacho@gentoo.org> proofgeneral-4.2.ebuild: amd64 stable, bug #490100 diff --git a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild index 723dbd310a33..a2f63e1360af 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.3 2013/12/22 16:46:25 pacho Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.4 2013/12/24 12:45:52 ago Exp $ EAPI=5 NEED_EMACS=23 @@ -14,7 +14,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="" DEPEND=">=app-emacs/mmm-mode-0.4.8-r2" |