diff options
| -rw-r--r-- | lang/php72/Makefile | 2 | ||||
| -rw-r--r-- | lang/php72/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/php72/Makefile b/lang/php72/Makefile index 6766bd36a6c4..cad28dd22906 100644 --- a/lang/php72/Makefile +++ b/lang/php72/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= php72 -DISTVERSION= 7.2.18 +DISTVERSION= 7.2.19 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php72/distinfo b/lang/php72/distinfo index 2f27de060fde..4849f9935869 100644 --- a/lang/php72/distinfo +++ b/lang/php72/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1557174681 -SHA256 (php-7.2.18.tar.xz) = 9970dbb3ab1298c9e6aac54bebfa841c8ad14b18eead65594a68fa841364cb8d -SIZE (php-7.2.18.tar.xz) = 12172696 +TIMESTAMP = 1559316031 +SHA256 (php-7.2.19.tar.xz) = 4ffa2404a88d60e993a9fe69f829ebec3eb1e006de41b6048ce5e91bbeaa9282 +SIZE (php-7.2.19.tar.xz) = 12176404 |