diff options
| author | Juergen Daubert <jue@jue.li> | 2018-04-26 16:53:04 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2018-04-26 16:53:04 +0200 |
| commit | 6cc62eafd991853cacb768558b4f271d16a3db67 (patch) | |
| tree | 3025337ecff5f5d7cc0f20f39ca4a6fd16cd085b /php-gettext/Pkgfile | |
| parent | fb9f47f2368e092239efcb81903b0aaad61324b0 (diff) | |
| download | opt-6cc62eafd991853cacb768558b4f271d16a3db67.tar.gz opt-6cc62eafd991853cacb768558b4f271d16a3db67.tar.xz | |
php-gettext: update to 7.2.5
Diffstat (limited to 'php-gettext/Pkgfile')
| -rw-r--r-- | php-gettext/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-gettext/Pkgfile b/php-gettext/Pkgfile index 89e00c82b..3ea59f16d 100644 --- a/php-gettext/Pkgfile +++ b/php-gettext/Pkgfile @@ -5,7 +5,7 @@ # Depends on: name=php-gettext -version=7.2.4 +version=7.2.5 release=1 source=(http://www.php.net/distributions/php-$version.tar.xz) |