diff options
Diffstat (limited to 'lang')
| -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 db52c6f5b79c..b790340203ae 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= php71 -PORTVERSION= 7.1.2 +PORTVERSION= 7.1.3 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php71/distinfo b/lang/php71/distinfo index 0c28f5af52f6..190375adc2ef 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1487144216 -SHA256 (php-7.1.2.tar.xz) = d815a0c39fd57bab1434a77ff0610fb507c22f790c66cd6f26e27030c4b3e971 -SIZE (php-7.1.2.tar.xz) = 12780720 +TIMESTAMP = 1489566414 +SHA256 (php-7.1.3.tar.xz) = e4887c2634778e37fd962fbdf5c4a7d32cd708482fe07b448804625570cb0bb0 +SIZE (php-7.1.3.tar.xz) = 12788560 |