Merge pull request #53765 from mayflower/php-7.3.1

php73: 7.3.0 -> 7.3.1
This commit is contained in:
Robin Gloster 2019-01-10 18:04:36 +00:00 committed by GitHub
commit 70732eb482
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -263,12 +263,10 @@ in {
};
php73 = generic {
version = "7.3.0";
sha256 = "0rvwx37dsmxivgrf4wfc1y778iln498c6a40biy9k6lnr6p7s9ks";
version = "7.3.1";
sha256 = "13iqfkz9rmx9vy106lvw1nbk88qgwdkvxam0l5s14r7jsw62pvxg";
# https://bugs.php.net/bug.php?id=71041
# https://bugs.php.net/bug.php?id=76826
extraPatches = [ ./fix-bug-71041.patch ]
++ optional stdenv.isDarwin ./php73-darwin-isfinite.patch;
extraPatches = optional stdenv.isDarwin ./php73-darwin-isfinite.patch;
};
}