Merge pull request #92927 from etu/php73-update

php73: 7.3.19 -> 7.3.20
This commit is contained in:
Maximilian Bosch 2020-07-11 18:27:22 +02:00 committed by GitHub
commit f510162d69
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -276,8 +276,8 @@ let
});
php73base = callPackage generic (_args // {
version = "7.3.19";
sha256 = "199l1lr7ima92icic7b1bqlb036md78m305lc3v6zd4zw8qix70d";
version = "7.3.20";
sha256 = "1pl9bjwvdva2yx4sh465z9cr4bnr8mvv008w71sy1kqsj6a7ivf6";
# https://bugs.php.net/bug.php?id=76826
extraPatches = lib.optional stdenv.isDarwin ./php73-darwin-isfinite.patch;