projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8968a0) | patch
app-emacs/proofgeneral: amd64 stable wrt bug #697424
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 11 Oct 2019 10:09:03 +0000 (12:09 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 11 Oct 2019 10:09:03 +0000 (12:09 +0200)
commit9e774b8cb878527c90710a1271560d80e47fa1ca
treea2a92e5b9423fce7c8898c40bbc0f35d042403a2tree | snapshot
parentc8968a01f2c959d85f2670045bf1e39b84e2fcd5commit | diff
app-emacs/proofgeneral: amd64 stable wrt bug #697424

Package-Manager: Portage-2.3.76, Repoman-2.3.16
RepoMan-Options: --include-arches="amd64"
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.