projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e558613
)
app-emacs/proofgeneral: x86 stable wrt bug #697424
author
Agostino Sarubbo
<ago@gentoo.org>
Fri, 11 Oct 2019 12:08:00 +0000
(14:08 +0200)
committer
Agostino Sarubbo
<ago@gentoo.org>
Fri, 11 Oct 2019 12:08:00 +0000
(14:08 +0200)
Package-Manager: Portage-2.3.76, Repoman-2.3.16
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
app-emacs/proofgeneral/proofgeneral-4.4.ebuild
patch
|
blob
|
history
diff --git
a/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
b/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
index 74e694ec5aeac59f9eaeb76345c929f2d6a0bf88..d2033347a58219c5cb08ac82d426298af25dee18 100644
(file)
--- 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}"