php71: 7.1.2 -> 7.1.5

This commit is contained in:
Franz Pletz 2017-05-25 02:37:34 +02:00
parent e1b3f854b6
commit 9bb358316f
No known key found for this signature in database
GPG Key ID: 846FDED7792617B4
1 changed files with 2 additions and 2 deletions

View File

@ -334,7 +334,7 @@ in {
};
php71 = generic {
version = "7.1.2";
sha256 = "013hlvzjmp7ilckqf3851xwmj37xzq6afsqm67i4whv64d723wp0";
version = "7.1.5";
sha256 = "15w60nrickdi0rlsy5yw6aa1j42m6z2chv90f7fbgn0v9xwa9si8";
};
}