projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09d5f4b) | patch
dev-lang/php: ppc stable wrt bug #710304
authorAgostino Sarubbo <ago@gentoo.org>
Mon, 24 Feb 2020 11:43:05 +0000 (12:43 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Mon, 24 Feb 2020 11:43:28 +0000 (12:43 +0100)
commit08fedbf3bc0c993adac6e1be06a89c62b8d009e1
treed9f46f42100eae776bd7ffbd659a6f02d6b6dd11tree | snapshot
parent09d5f4b6c18e7b327ff9502bc9f266c63b17b7b8commit | diff
dev-lang/php: ppc stable wrt bug #710304

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