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 441a04494..13715247d 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20191227 +pkgver=20200213 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=('a2c9d52095e734794d3e185706510fc32c432f1c7ef9e06cd6eb7bb78d9b7fbc428453399872b39a323d1883f8d5737dd940bd364d2d4f5c4058348ea02ac011' +sha512sums=('fde43f6dd8c312287a29230ef2832713021702d76b7f2427b5745576d1fbc9664f44cf17b8f54f9c09c382c9e8ef265006b70648a4f54d5ca0cf0751e716c512' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |