dev-lang/php: restore php-7.0.15 temporarily.
authorMichael Orlitzky <mjo@gentoo.org>
Sun, 19 Feb 2017 15:13:57 +0000 (10:13 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Sun, 19 Feb 2017 15:13:57 +0000 (10:13 -0500)
commit821085f14a38b9623dd07ff2ae54fd95cbcdef22
treed4e7a41c1a4d0d12ebacb2cf9de3ec3638283ac8
parentd9900ff06a30f0e40ee57572f70c1e3f11d14142
dev-lang/php: restore php-7.0.15 temporarily.

Due to a getrandom() detection bug, php-7.0.16 doesn't work with older
pre-3.17 Linux kernels. Let's put 7.0.15 back until that is resolved.
The best reference I have at the moment is the discussion on the
upstream commit:

https://github.com/php/php-src/commit/14c72cc5824d5fa472b79b7216a01be0918ccc5d

Gentoo-Bug: 574238

Package-Manager: portage-2.3.3
dev-lang/php/Manifest
dev-lang/php/php-7.0.15.ebuild [new file with mode: 0644]