[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27826] [PATCH 1/1] gnu: php: Update to 7.1.7.
From: |
Alex Sassmannshausen |
Subject: |
[bug#27826] [PATCH 1/1] gnu: php: Update to 7.1.7. |
Date: |
Tue, 25 Jul 2017 17:23:06 +0200 |
* gnu/packages/php.scm (php): Update to 7.1.7.
---
gnu/packages/php.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/php.scm b/gnu/packages/php.scm
index b6f64bc0e..0fabc345a 100644
--- a/gnu/packages/php.scm
+++ b/gnu/packages/php.scm
@@ -53,15 +53,15 @@
(define-public php
(package
(name "php")
- (version "7.1.6")
+ (version "7.1.7")
(home-page "https://secure.php.net/")
(source (origin
(method url-fetch)
- (uri (string-append home-page "distributions/"
+ (uri (string-append "http://uk1.php.net/distributions/"
name "-" version ".tar.xz"))
(sha256
(base32
- "0nr49gqhk4pv8kcdc60cl1mgwlinawpraq9ba15whzmb472lsn01"))
+ "0agpzxs5iglmahiqm3070x5wpyc24yf1iglc62q2nyxy56bhhhhd"))
(modules '((guix build utils)))
(snippet
'(with-directory-excursion "ext"
--
2.13.3