diff options
author | Jakob Gahde | 2018-08-10 19:24:31 +0200 |
---|---|---|
committer | Jakob Gahde | 2018-08-10 19:24:31 +0200 |
commit | fb834ae02236f4c79d90afc7cdcd361c6520950c (patch) | |
tree | ec3668fff679bf531f2e30361a3a3d743b12e649 /PKGBUILD | |
parent | 37dcebda20972ad25353904ae92e6e2db80e317f (diff) | |
download | aur-fb834ae02236f4c79d90afc7cdcd361c6520950c.tar.gz |
php-wikidiff2 1.7.2-1: New version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ # Maintainer: Jakob Gahde <j5lx@fmail.co.uk> pkgname=php-wikidiff2 -pkgver=1.7.1 +pkgver=1.7.2 pkgrel=1 pkgdesc="A PHP module that provides the external diff engine for MediaWiki" arch=('i686' 'x86_64') @@ -10,8 +10,8 @@ url='https://www.mediawiki.org/wiki/Extension:Wikidiff2' depends=('php' 'libthai') source=("https://releases.wikimedia.org/wikidiff2/wikidiff2-${pkgver}.tar.gz"{,.sig}) validpgpkeys=('FA1E9F9A41E7F43502CA5D6352FC8E7BEDB7FCA2') -md5sums=('a59df77c591d6e1c7d012680a4587b7b' - 'SKIP') +sha512sums=('3abd31488b049a860a2b88ce16f525f5641bdbc94e264227d6c54b837cc3630cbd01c45ffd44ae715e3496c2d3b65eee2e54eba4631300beb9c0c6a14a6fdadf' + 'SKIP') build() { cd "${srcdir}/wikidiff2-${pkgver}" |