diff options
author | Juergen Daubert <jue@jue.li> | 2019-04-10 14:45:02 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2019-04-10 14:45:02 +0200 |
commit | 962a46d6a9bd3e9c087d72a1a0f8cd2d7fc3c281 (patch) | |
tree | feef7f5e76cac1cd5359815686422409d5d8407b /php/Pkgfile | |
parent | fff3f6e272cc7057d571666faea1dae70a0dc783 (diff) | |
download | opt-962a46d6a9bd3e9c087d72a1a0f8cd2d7fc3c281.tar.gz opt-962a46d6a9bd3e9c087d72a1a0f8cd2d7fc3c281.tar.xz |
php: update to 7.2.17
Diffstat (limited to 'php/Pkgfile')
-rw-r--r-- | php/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php/Pkgfile b/php/Pkgfile index 223d881d4..5ce0c5481 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libpcre libxml2 curl db gdbm name=php -version=7.2.16 +version=7.2.17 release=1 source=(http://php.net/distributions/php-$version.tar.xz) |