projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4d5663) | patch
media-libs/dav1d: ppc stable wrt bug #711144
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 1 May 2020 13:58:03 +0000 (15:58 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 1 May 2020 13:58:03 +0000 (15:58 +0200)
commit712d6c43d91ffdc2f83d368531cb8e1f1b9c4d18
treeb75a7ff020f93acd07e83688adb022995330eb7ctree | snapshot
parente4d566351ce29380f90d858e5bb86995da8b7aa5commit | diff
media-libs/dav1d: ppc stable wrt bug #711144

Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
media-libs/dav1d/dav1d-0.5.2.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.