projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64298f3) | patch
media-sound/pragha: x86 stable wrt bug #704210
authorAgostino Sarubbo <ago@gentoo.org>
Tue, 31 Dec 2019 14:00:45 +0000 (15:00 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Tue, 31 Dec 2019 14:00:45 +0000 (15:00 +0100)
commit2ffd42fa150ad0e128df4a2bb300778d21f99e85
tree58c54c159626878e7342c84f4dfd384f6443e74ctree | snapshot
parent64298f35feb66b85f932cd113625d6e9275ba344commit | diff
media-sound/pragha: x86 stable wrt bug #704210

Package-Manager: Portage-2.3.79, Repoman-2.3.16
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
media-sound/pragha/pragha-1.3.99.1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.