diff options
Diffstat (limited to 'devtools32')
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 8282d62a4..62ad761a9 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20190410 +pkgver=20190414 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=('b2889c790ef31fe0673dd174f40d1cec348c1e5c59793f50db2315f728dc9d811c0c5d517a1bee3c3590a0dba5e89209d85013abe95379f2cd1b75cbcc0ab330' +sha512sums=('44241276469bced7ca3130d71cbd289be89cea5a4dafdca028ba1413cf12b4d1f690b22b749f34f73fb74ab107a9292294f6fe3dbeed0366db4a74d7d77f8192' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |