diff options
-rw-r--r-- | pkgs/development/interpreters/php/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/interpreters/php/default.nix b/pkgs/development/interpreters/php/default.nix index 2757b9bd4bab..d890b1862d3b 100644 --- a/pkgs/development/interpreters/php/default.nix +++ b/pkgs/development/interpreters/php/default.nix @@ -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; }; } |