diff options
| author | tz <tz@FreeBSD.org> | 2018-01-11 00:07:02 +0800 |
|---|---|---|
| committer | tz <tz@FreeBSD.org> | 2018-01-11 00:07:02 +0800 |
| commit | 3252f9248335b70e637c414eca82d6922eac9220 (patch) | |
| tree | ee9b52e08228d4ec4db8c5c9624f513ea7db1abd /lang/php71 | |
| parent | 6a6622c8b5a375e9d2c837bd7034956ec506f76d (diff) | |
| download | freebsd-ports-gnome-3252f9248335b70e637c414eca82d6922eac9220.tar.gz freebsd-ports-gnome-3252f9248335b70e637c414eca82d6922eac9220.tar.zst freebsd-ports-gnome-3252f9248335b70e637c414eca82d6922eac9220.zip | |
Update PHP 7.1 from 7.1.12 to 7.1.13
Changelog: http://www.php.net/ChangeLog-7.php#7.1.13
PR: 224955
MFH: 2018Q1
Diffstat (limited to 'lang/php71')
| -rw-r--r-- | lang/php71/Makefile | 4 | ||||
| -rw-r--r-- | lang/php71/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/lang/php71/Makefile b/lang/php71/Makefile index ee26bcb54442..240f6fd9ce2c 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -2,8 +2,8 @@ # $FreeBSD$ PORTNAME= php71 -PORTVERSION= 7.1.12 -PORTREVISION?= 2 +PORTVERSION= 7.1.13 +PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions DISTNAME= php-${PORTVERSION} diff --git a/lang/php71/distinfo b/lang/php71/distinfo index 40cd46c878d0..87bf96d811ac 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1511442089 -SHA256 (php-7.1.12.tar.xz) = a0118850774571b1f2d4e30b4fe7a4b958ca66f07d07d65ebdc789c54ba6eeb3 -SIZE (php-7.1.12.tar.xz) = 12194772 +TIMESTAMP = 1515408503 +SHA256 (php-7.1.13.tar.xz) = 1a0b3f2fb61959b57a3ee01793a77ed3f19bde5aa90c43dcacc85ea32f64fc10 +SIZE (php-7.1.13.tar.xz) = 12194780 SHA256 (php-7.1.x-mail-header.patch) = 8f173d89672f7ebfabfcc3c5d7f8dec1c4243aba665db4b4046e67c34d9d4dc7 SIZE (php-7.1.x-mail-header.patch) = 4504 |