php72: 7.2.14 -> 7.2.15

Changelog: https://secure.php.net/ChangeLog-7.php#7.2.15
This commit is contained in:
Elis Hirwing
2019-02-08 13:19:19 +00:00
committed by Robin Gloster
parent 436701842b
commit 89dec63005
@@ -253,8 +253,8 @@ in {
}; };
php72 = generic { php72 = generic {
version = "7.2.14"; version = "7.2.15";
sha256 = "15v5gbdxi6jkgdflpj5rqqzzfvwdb55hls4azh71xgy793934qgm"; sha256 = "0m05dmad138qfxcb2z4czf9pfv1746g9yzlch48kjikajhb7cgn9";
# https://bugs.php.net/bug.php?id=76826 # https://bugs.php.net/bug.php?id=76826
extraPatches = optional stdenv.isDarwin ./php72-darwin-isfinite.patch; extraPatches = optional stdenv.isDarwin ./php72-darwin-isfinite.patch;