diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 9e113ed4d..384872dea 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20190131 +pkgver=20190201 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=('19da65d750dc0dfb9544575cc5044a315907caf2604cb1e48109ba9c0694d3db990ada5d597eb93f824255c05ce2bb7a1c7a20c7b0d919efa3077c1b314a9a42' +sha512sums=('fc1da4ae810992961ee0c19ba5f1ad4f87fee726d67e5e57c6ebc0acc7a1206842c9a8ddc8323b0a9f61077b79734ff244e85a1517789a025c806dd885c2fe1b' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |