diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2022-08-16 09:46:10 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2022-08-16 09:46:10 +0200 |
| commit | ad66bae0126f0d71066bbd4162494ee118bf868e (patch) | |
| tree | 3e85b52edbaaf826afafb8cc30e3ef4ae79ddd00 /app-emacs | |
| parent | app-emacs/circe: ppc stable wrt bug #865331 (diff) | |
| download | gentoo-ad66bae0126f0d71066bbd4162494ee118bf868e.tar.gz gentoo-ad66bae0126f0d71066bbd4162494ee118bf868e.tar.bz2 gentoo-ad66bae0126f0d71066bbd4162494ee118bf868e.zip | |
app-emacs/proofgeneral: amd64/ppc/x86 stable (ALLARCHES policy) wrt bug #865333
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.5.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild index f662cbbface9..021c56340c58 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild @@ -13,7 +13,7 @@ S="${WORKDIR}"/PG-${PV} LICENSE="GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="amd64 ppc x86" PATCHES=( "${FILESDIR}"/${PN}-4.4-desktop.patch |