diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2019-10-12 22:01:53 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2019-10-12 22:16:11 +0100 |
| commit | dec81fc30f34ae57216c17fd337806f8248afb59 (patch) | |
| tree | fc5c2e73833907bee5d9e4d0feb0c3676074ce1d /app-emacs/proofgeneral | |
| parent | app-emacs/mmm-mode: stable 0.5.7 for ppc, bug #697418 (diff) | |
| download | gentoo-dec81fc30f34ae57216c17fd337806f8248afb59.tar.gz gentoo-dec81fc30f34ae57216c17fd337806f8248afb59.tar.bz2 gentoo-dec81fc30f34ae57216c17fd337806f8248afb59.zip | |
app-emacs/proofgeneral: stable 4.4 for ppc, bug #697424
Package-Manager: Portage-2.3.76, Repoman-2.3.17
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.4.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/proofgeneral-4.4.ebuild b/app-emacs/proofgeneral/proofgeneral-4.4.ebuild index d2033347a582..4580a379c0a5 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}" |