diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-10-13 22:19:36 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-10-14 23:22:23 +0100 |
| commit | 4b19be30aa626b327c885dae62c559ec0e9fb935 (patch) | |
| tree | 76e74807bc479502e13866b581b6bf86734ec634 /app-emacs/proofgeneral/proofgeneral-4.4.ebuild | |
| parent | 30d6f67c98d149508509d5e86f176d558793acc0 (diff) | |
gentoo resync : 13.10.2019
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-4.4.ebuild')
| -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 0b9df0133b68..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}" |