diff options
-rw-r--r-- | lang/php73/Makefile | 2 | ||||
-rw-r--r-- | lang/php73/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/php73/Makefile b/lang/php73/Makefile index ecd1732118b8..ec7fe950d1ec 100644 --- a/lang/php73/Makefile +++ b/lang/php73/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= php73 -DISTVERSION= 7.3.12 +DISTVERSION= 7.3.13 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php73/distinfo b/lang/php73/distinfo index 49794a7b8e02..8d72723983cf 100644 --- a/lang/php73/distinfo +++ b/lang/php73/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1574409147 -SHA256 (php-7.3.12.tar.xz) = aafe5e9861ad828860c6af8c88cdc1488314785962328eb1783607c1fdd855df -SIZE (php-7.3.12.tar.xz) = 12095212 +TIMESTAMP = 1576964457 +SHA256 (php-7.3.13.tar.xz) = 57ac55fe442d2da650abeb9e6fa161bd3a98ba6528c029f076f8bba43dd5c228 +SIZE (php-7.3.13.tar.xz) = 12102012 |