commit: 9e774b8cb878527c90710a1271560d80e47fa1ca Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org> AuthorDate: Fri Oct 11 10:09:03 2019 +0000 Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org> CommitDate: Fri Oct 11 10:09:03 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e774b8c
app-emacs/proofgeneral: amd64 stable wrt bug #697424 Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org> app-emacs/proofgeneral/proofgeneral-4.4.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app-emacs/proofgeneral/proofgeneral-4.4.ebuild b/app-emacs/proofgeneral/proofgeneral-4.4.ebuild index 0b9df0133b6..74e694ec5ae 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.4.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.4.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/ProofGeneral/PG/archive/v${PV}.tar.gz -> ${P}.tar.gz LICENSE="GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="amd64 ~ppc ~x86" RDEPEND=">=app-emacs/mmm-mode-0.4.8-r2" BDEPEND="${RDEPEND}"
