diff options
-rw-r--r-- | extra/devtools/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD index 72c50e60..9fb0897d 100644 --- a/extra/devtools/PKGBUILD +++ b/extra/devtools/PKGBUILD @@ -1,6 +1,6 @@ # we override almost everything -pkgver=20181005 +pkgver=20181204 pkgrel=1 pkgdesc='Tools for Arch Linux 32 package maintainers and build slave operators' license=('GPL') @@ -9,7 +9,7 @@ source=( "https://sources.archlinux32.org/sources/${pkgname}32-v${pkgver}.tar.gz"{,.sig} ) if [ "${md5sums[0]}" = 'ed3c757184e633faeea09747a7b91bb1' ]; then - sha512sums=('1521c467ffdd8c40c72346e87969a04e02906685ece6b60056da13348b760c07fa1f74b94937a06a7731e8b173b7ad5c0ef921627e6db2c1e521465b021de251' + sha512sums=('779d3cc41e666889e2a5d4ebfa84b69504e2d6bd4190330b0990a4e676f097b504c4676df0e8adb461504fadd061d4fc2533f152801afd5f16fa885f5a6c80d8' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') unset md5sums |