Subject: core-updates: update php to 7.1.3
From: julien lepiller <[email-masked]>
To: [email-masked]
Date: Fri, 17 Mar 2017 15:57:58 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

php has released a new version today. Here is a patch to be applied to 
core-updates.

From 8c0ca367dfbb45f132f2ee4f0507b66e981a1369 Mon Sep 17 00:00:00 2001
From: Julien Lepiller <[email-masked]>
Date: Fri, 17 Mar 2017 15:53:29 +0100
Subject: [PATCH] gnu: php: Update to 7.1.3.

* gnu/packages/php.scm (php): Update to 7.1.3.
---
 gnu/packages/php.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/php.scm b/gnu/packages/php.scm
index 0dfee36..071820e 100644
--- a/gnu/packages/php.scm
+++ b/gnu/packages/php.scm
@@ -53,7 +53,7 @@
 (define-public php
   (package
     (name "php")
-    (version "7.1.2")
+    (version "7.1.3")
     (home-page "https://secure.php.net/")
     (source (origin
               (method url-fetch)
@@ -61,7 +61,7 @@
                                   name "-" version ".tar.xz"))
               (sha256
                (base32
-                "0wg9ng230w724rpwsrhcg4pw41xm1xhz0zx76haanyymkz1s05fq"))
+                "1c0brdq5aqh4i127pq1g904dfb6klz2gbg9gjvykg3kp6hk7r274"))
               (modules '((guix build utils)))
               (snippet
                '(with-directory-excursion "ext"
-- 
2.7.4