diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index e96e977c6..f852dcd08 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20190402 +pkgver=20190403 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=('88d35163b00714f5cdadc5722f313b703a13b8a430af1632fafa565b7a596b710b276d9419f4a269000298489165f990aa49a6719386195e20c8a70d80b9e1c6' +sha512sums=('29698c389bcfa2b8785f2af575a98336ccde22f61fb7462680cd9d70eb2582f2f6f58c96a1874680f651d1756305d1ed343cabf9a2a503872969a7ec41f88148' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |