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 25e36dba8..63ac3e143 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20181204.1 +pkgver=20181205 pkgrel=1 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit' arch=('any') @@ -17,7 +17,7 @@ conflicts=('devtools') source=( "https://sources.archlinux32.org/sources/${pkgname}-v${pkgver}.tar.gz"{,.sig} ) -sha512sums=('20800509f75986ecbb7c0679ae403bfcf0f3e80185d3a01abe7797efbf596c0ca884ef7585cc7f6ec06a4669c8a4f68636ee13a044c1dd0c9ebc95a13ddaa011' +sha512sums=('144ad44f36d39cfb8c32e95716c41559b88ad58150517b6c777850432d78dcda2c84c4c47505353aaefbccb818831e460259aaa85424f2dfd70b4c47ba4ec360' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |