Merge pull request #71968 from aanderse/php

php: 7.2.23 -> 7.2.24, 7.3.10 -> 7.3.11
This commit is contained in:
Robin Gloster 2019-10-25 10:14:26 +02:00 committed by GitHub
commit 9671f33c06
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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