Merge pull request #92928 from etu/php72-update

php72: 7.2.31 -> 7.2.32
This commit is contained in:
Maximilian Bosch 2020-07-11 18:27:37 +02:00 committed by GitHub
commit db2a5bf3b9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -268,8 +268,8 @@ let
};
php72base = callPackage generic (_args // {
version = "7.2.31";
sha256 = "0057x1s43f9jidmrl8daka6wpxclxc1b1pm5cjbz616p8nbmb9qv";
version = "7.2.32";
sha256 = "19wqbpvsd6c6iaad00h0m0xnx4r8fj56pwfhki2cw5xdfi10lp3i";
# https://bugs.php.net/bug.php?id=76826
extraPatches = lib.optional stdenv.isDarwin ./php72-darwin-isfinite.patch;