diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 9c4d680d..f41b1e12 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20191016 +pkgver=20191130 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=('ba8e375ae2582829ba05cb864c908c49c6a158e224052cf00a94f9e1a69d0b4b58496547060406285d359a6033b56da98edd7ca474d5c2cafdbcc8950074f972' +sha512sums=('cb8f9cff827c0049ed0b473e4175c52a972cf395c33ece812b4e66f1751575d8e17eae474e73aca1c1e918f12d77958e3420c2080d0d27c4215f1a1fe929d21f' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |