diff options
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 |