diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 8409682cb..3c20e58cf 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20180627 +pkgver=20180917 pkgrel=1 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit' arch=('any') @@ -17,7 +17,7 @@ conflicts=('devtools') source=( "https://sources.archlinux32.org/sources/${pkgname}-v${pkgver}.tar.gz"{,.sig} ) -sha512sums=('d2e27562443999ed3164ed7fea30d64872146a8ce8de2cf57a1e9ecb590049436b19da979b74a029aea9e5430861b01b2d14d851d638c819f20af61c3f07a92f' +sha512sums=('d68f97d926daf40047f73574daf656617b19a23eddb9394466de80f46bd4d6ccb3b09a2767caafa673b0a07a7e75bdf801de8f41d43f30eb9e77bed31a6008f6' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |