Merge pull request #39591 from etu/php-upgrades

php: 5.6.35 -> 5.6.36, 7.0.29 -> 7.0.30, 7.1.16 -> 7.1.17
This commit is contained in:
Jörg Thalheim 2018-04-28 11:17:48 +01:00 committed by GitHub
commit 5621e1a14d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -338,18 +338,18 @@ let
in { in {
php56 = generic { php56 = generic {
version = "5.6.35"; version = "5.6.36";
sha256 = "14ivsxdny0s7qm9pf773pafs8xzlzzpmaz039lwymn11rblsfy7f"; sha256 = "0ahp9vk33dpsqgld0gg4npff67v0l39hs3wk5dm6h3lablzhwsk2";
}; };
php70 = generic { php70 = generic {
version = "7.0.29"; version = "7.0.30";
sha256 = "1g1z1nhnmq0idsb9rfb46cdddfimaacw3yal291i2ypzqpal54cq"; sha256 = "0l0bhnlgxmfl7mrdykmxfl53simxsksdcnbg5ymqz6r31i03hgr1";
}; };
php71 = generic { php71 = generic {
version = "7.1.16"; version = "7.1.17";
sha256 = "1rg7n12rd2v1p2yar615kqcdxpvphw3p89lpgajjgwy0qzwjm3il"; sha256 = "1kyvg1dvn2zddlc7apl8c74wlwz45rxx10fr1s4z6l1cannf6971";
}; };
php72 = generic { php72 = generic {