diff options
| -rw-r--r-- | lang/php71/Makefile | 2 | ||||
| -rw-r--r-- | lang/php71/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/php71/Makefile b/lang/php71/Makefile index 26c8dc8d2a7d..f33361c9514c 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= php71 -PORTVERSION= 7.1.8 +PORTVERSION= 7.1.9 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php71/distinfo b/lang/php71/distinfo index 1462a9797079..212decc3c10e 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1501755364 -SHA256 (php-7.1.8.tar.xz) = 8943858738604acb33ecedb865d6c4051eeffe4e2d06f3a3c8f794daccaa2aab -SIZE (php-7.1.8.tar.xz) = 12874840 +TIMESTAMP = 1504170113 +SHA256 (php-7.1.9.tar.xz) = ec9ca348dd51f19a84dc5d33acfff1fba1f977300604bdac08ed46ae2c281e8c +SIZE (php-7.1.9.tar.xz) = 12157172 |