app-emacs/proofgeneral: stable 4.4 for ppc, bug #697424
authorSergei Trofimovich <slyfox@gentoo.org>
Sat, 12 Oct 2019 21:01:53 +0000 (22:01 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Sat, 12 Oct 2019 21:16:11 +0000 (22:16 +0100)
commitdec81fc30f34ae57216c17fd337806f8248afb59
treefc5c2e73833907bee5d9e4d0feb0c3676074ce1d
parentac898b7bf269d3a93b75e5d107a07060d887716d
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>
app-emacs/proofgeneral/proofgeneral-4.4.ebuild