projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e558613) | patch
app-emacs/proofgeneral: x86 stable wrt bug #697424
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 11 Oct 2019 12:08:00 +0000 (14:08 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 11 Oct 2019 12:08:00 +0000 (14:08 +0200)
commit27b74dd3301d0f2a2647add705941b7d805fa0f9
treed9d89b6ffec759a5317b0fd9cc7ccb580bbfd578tree | snapshot
parente5586137779e39739834349802b6d5e1b44f503fcommit | diff
app-emacs/proofgeneral: x86 stable wrt bug #697424

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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.