diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 7cc5c0996..6a7e97add 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20200220 +pkgver=20200221 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=('5fb2498bb59a08c7739eb3a01505f69793484c3c29d60b18a1448d18e26088588ad41fe1e113f85c581a5af292df3a9154b052adf4126fc9f2ce3220542a1624' +sha512sums=('6d34abfaded477f856eba90e055d91b18cb2a64dcd5cf8549eba61fb7ebc02a0ba21bb8b0c20f673712eff312e2dd910837bc98ad209dfc57e835b163dfcfdce' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |