diff options
Diffstat (limited to 'devtools32/PKGBUILD')
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index b847901eb..1501139b9 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20190821 +pkgver=20190912 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=('555ed70e37d106ed3a9a9f51537601d2bf2be35aee0fce349bdb5e87c9aedf6fe0a2ca3d6b4510ba71df2986171077242920657ee86c908eb2bf621a4d255c8d' +sha512sums=('cd9f4755b029275e59e43448567c6d43d056458d24ab66246021a11e98c46349119e943dc0b278e95b66d256bb36f3f9fec5b7e91cc1c0ffb65c0e2cf48b2b80' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |