diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 197a7eee..8b1a21c5 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20210225 +pkgver=20210225.1 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=('df971eccfc32752f49cf9fce7afc9cfa4c4d8bd6721e97ca0041f981ffbe5cdef207df9d25944cb52da0855c78f9ed0b58b84670be2c4c20fce05cf7f6fa8f62' +sha512sums=('e06fb52e02e24da2f0940a62d0e9bb28bd604fd1e5b11cb03f6961c5c420dd2d2d19bb7b74e20a9562d592c101022e152a46388651828f5b05cb5ec122653702' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |