projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6711f42) | patch
dev-erlang/proper: ppc stable wrt bug #694160
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 13 Sep 2019 12:01:01 +0000 (14:01 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 13 Sep 2019 12:01:01 +0000 (14:01 +0200)
commit1edba439375545e9eae7024e7c9b706bdf146c75
treed04d5e7f1c33aabca31c1956cd62234baefb2bd9tree | snapshot
parent6711f42e323817120bc89bee6398491646f21782commit | diff
dev-erlang/proper: ppc stable wrt bug #694160

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
dev-erlang/proper/proper-1.3.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.