diff options
author | Graham Christensen <graham@grahamc.com> | 2018-05-26 14:34:59 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-26 14:34:59 -0400 |
commit | 8c6e115e2032879b54f10da215f8cf430b9b58ee (patch) | |
tree | 67ab46fce79b75ffe32a1324533f2779ef37671c | |
parent | 713d580d12b7fc9f435ca0db46faf547c6e1aca8 (diff) | |
parent | 381bf4d61059dbd83af0957fd11634ce5752ebe5 (diff) |
Merge pull request #41105 from r-ryantm/auto-update/php
php: 7.2.5 -> 7.2.6
-rw-r--r-- | pkgs/development/interpreters/php/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/interpreters/php/default.nix b/pkgs/development/interpreters/php/default.nix index 94e1e5f1b6923..0e161b0e3f715 100644 --- a/pkgs/development/interpreters/php/default.nix +++ b/pkgs/development/interpreters/php/default.nix @@ -353,7 +353,7 @@ in { }; php72 = generic { - version = "7.2.5"; - sha256 = "0cb0g64mzkir81js27vjwqr8vh043f62ynqvds5n4ygsivx0x0pk"; + version = "7.2.6"; + sha256 = "1hzj1z6v1ij4f4zjl1giix9qinf20wyn9gf8s29x5fc0va53wpdf"; }; } |