diff options
| author | tz <tz@FreeBSD.org> | 2018-12-07 15:54:44 +0800 |
|---|---|---|
| committer | tz <tz@FreeBSD.org> | 2018-12-07 15:54:44 +0800 |
| commit | d72881fc68a0f85dbdf3654891e67d9af41a2d7b (patch) | |
| tree | c025ceac9a0c30398582468006b5e6750f5d8678 /lang | |
| parent | f7b7b59198cf1a2d0013f2b55c9cdb801c0e0fb6 (diff) | |
| download | freebsd-ports-gnome-d72881fc68a0f85dbdf3654891e67d9af41a2d7b.tar.gz freebsd-ports-gnome-d72881fc68a0f85dbdf3654891e67d9af41a2d7b.tar.zst freebsd-ports-gnome-d72881fc68a0f85dbdf3654891e67d9af41a2d7b.zip | |
lang/php72: Upgrade from 7.2.12 to 7.2.13
Changelog: http://www.php.net/ChangeLog-7.php#7.2.13
MFH: 2018Q4
Diffstat (limited to 'lang')
| -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 1f47251f4d58..93829eea25ed 100644 --- a/lang/php72/Makefile +++ b/lang/php72/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= php72 -DISTVERSION= 7.2.12 +DISTVERSION= 7.2.13 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php72/distinfo b/lang/php72/distinfo index 3081b3ff8da0..26270b954d39 100644 --- a/lang/php72/distinfo +++ b/lang/php72/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1541795158 -SHA256 (php-7.2.12.tar.xz) = 989c04cc879ee71a5e1131db867f3c5102f1f7565f805e2bb8bde33f93147fe1 -SIZE (php-7.2.12.tar.xz) = 12141472 +TIMESTAMP = 1544005077 +SHA256 (php-7.2.13.tar.xz) = 14b0429abdb46b65c843e5882c9a8c46b31dfbf279c747293b8ab950c2644a4b +SIZE (php-7.2.13.tar.xz) = 12116484 |