php73: 7.3.0 -> 7.3.1

This commit is contained in:
Robin Gloster 2019-01-10 17:43:14 +01:00
parent 2ac775a084
commit 0af5ce1c8b
No known key found for this signature in database
GPG Key ID: D5C458DF6DD97EDF

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;
};
}