summaryrefslogtreecommitdiff
path: root/php/Pkgfile
diff options
context:
space:
mode:
authorJuergen Daubert <jue@jue.li>2019-04-10 14:45:02 +0200
committerJuergen Daubert <jue@jue.li>2019-04-10 14:45:02 +0200
commit962a46d6a9bd3e9c087d72a1a0f8cd2d7fc3c281 (patch)
treefeef7f5e76cac1cd5359815686422409d5d8407b /php/Pkgfile
parentfff3f6e272cc7057d571666faea1dae70a0dc783 (diff)
downloadopt-962a46d6a9bd3e9c087d72a1a0f8cd2d7fc3c281.tar.gz
opt-962a46d6a9bd3e9c087d72a1a0f8cd2d7fc3c281.tar.xz
php: update to 7.2.17
Diffstat (limited to 'php/Pkgfile')
-rw-r--r--php/Pkgfile2
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)

Generated by cgit