php72: 7.2.19 -> 7.2.20

Changelog: https://www.php.net/ChangeLog-7.php#7.2.20
This commit is contained in:
Elis Hirwing 2019-07-05 09:24:37 +02:00
parent c2ac19f432
commit bd1b55d074
No known key found for this signature in database
GPG key ID: D57EFA625C9A925F

View file

@ -254,8 +254,8 @@ let
in {
php72 = generic {
version = "7.2.19";
sha256 = "16d0j0d4563bcrxlw5yysldscxpgyp917hmc4m4ys1zyfprv3l7b";
version = "7.2.20";
sha256 = "116a1m0xjn2yi8d5kwzjk335q4brgl7xplcji2p87i2l9vjjkf4z";
# https://bugs.php.net/bug.php?id=76826
extraPatches = optional stdenv.isDarwin ./php72-darwin-isfinite.patch;