diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index b955c249c..8409682cb 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20180626 +pkgver=20180627 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=('36581ab6feef8a26228e69ca0ede0847a24aae7b9bed1bd11af7e2124ee515ecc7fdd9362d77ac1d4263606c42929b29b98e4b5543148d9302eea4754c299e25' +sha512sums=('d2e27562443999ed3164ed7fea30d64872146a8ce8de2cf57a1e9ecb590049436b19da979b74a029aea9e5430861b01b2d14d851d638c819f20af61c3f07a92f' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |