diff options
author | Juergen Daubert <jue@jue.li> | 2018-10-12 12:42:02 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2018-10-12 12:42:02 +0200 |
commit | e77923aee68bb876d285eee8b7ab0d22c746432f (patch) | |
tree | 227af8595a514747e2012760cd5d1105c24ca491 /php-sockets/Pkgfile | |
parent | cb42148e2fb29c2246dd7ac0f2e76b7ef7937d62 (diff) | |
download | opt-e77923aee68bb876d285eee8b7ab0d22c746432f.tar.gz opt-e77923aee68bb876d285eee8b7ab0d22c746432f.tar.xz |
php: update to 7.2.11
Diffstat (limited to 'php-sockets/Pkgfile')
-rw-r--r-- | php-sockets/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-sockets/Pkgfile b/php-sockets/Pkgfile index 43d7e70d3..3bef6bd48 100644 --- a/php-sockets/Pkgfile +++ b/php-sockets/Pkgfile @@ -5,7 +5,7 @@ # Depends on: name=php-sockets -version=7.2.10 +version=7.2.11 release=1 source=(http://www.php.net/distributions/php-$version.tar.xz) |