diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 794db5bbb..2526082fa 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20190820 +pkgver=20190820.1 pkgrel=1 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit' arch=('any') @@ -18,7 +18,7 @@ conflicts=('devtools') source=( "https://sources.archlinux32.org/sources/${pkgname}-v${pkgver}.tar.gz"{,.sig} ) -sha512sums=('493099074decfbc61d662f245530d287b362830acac126a4640a7901f0b254ac3c4d2853aa86cb977f0d0c70ac77c2ad301070c7a7e0e15d59051e00c7326c69' +sha512sums=('540402cd62efa319a1184d6293b0f35a6870a404674a55199b9087f13d064d3f3714e9a5e245b492fe2dd5d929891cbac42caa951b5c9d59034f17f9a396713f' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |