Merge pull request #76133 from markuskowa/upd-php-19.09

[19.09] php: 7.2.24 -> 7.2.26, 7.3.11 -> 7.3.13
This commit is contained in:
Aaron Andersen
2019-12-21 19:03:01 -05:00
committed by GitHub

View File

@@ -254,16 +254,16 @@ let
in {
php72 = generic {
version = "7.2.24";
sha256 = "00znhjcn6k4mbxz6jqlqf6bzr4cqdf8pnbmxkg6bns1hnr6r6yd0";
version = "7.2.26";
sha256 = "0yw49v3rk3cd0fb4gsli74pgd4qrykhn9c37dyfr3zsprzp8cvgk";
# https://bugs.php.net/bug.php?id=76826
extraPatches = optional stdenv.isDarwin ./php72-darwin-isfinite.patch;
};
php73 = generic {
version = "7.3.11";
sha256 = "1rxm256vhnvyabfwmyv51sqrkjlid1g8lczcy4skc2f72d5zzlcj";
version = "7.3.13";
sha256 = "1g376b9caw21mw8738z354llbzb3shzgc60m7naw7wql5038jysw";
# https://bugs.php.net/bug.php?id=76826
extraPatches = optional stdenv.isDarwin ./php73-darwin-isfinite.patch;