projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbbabd8) | patch
dev-lang/php: ppc stable wrt bug #717710
authorAgostino Sarubbo <ago@gentoo.org>
Mon, 20 Apr 2020 13:28:02 +0000 (15:28 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Mon, 20 Apr 2020 13:28:02 +0000 (15:28 +0200)
commit88e7073c66121a98ebe2a1f841058c2b8489da77
tree5d9c298c6ddd729cb92d07a3614464017251601etree | snapshot
parentcbbabd83887feddd51e34e3d342fac32c1337c1dcommit | diff
dev-lang/php: ppc stable wrt bug #717710

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