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 83dedb32c..55e366161 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20200223 +pkgver=20200407 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=('aa67b5f4598317d94104f9d1d225954ccae4c9bdc11c0c0b4b08abff8aed1de8d03c97c55e5ba181220d60b4561f21f7d9e28f018e46ce7ee5462aeb33f5e515' +sha512sums=('cc947b310f8ad59a5e4ef78f6aebd8f5d500ab1b807b69ce3a4f348ffe63051938cbeebd001ed3acf4dd69b078f569c254795788f2d16b622433858813473409' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |