extra/devtools: 20181005 -> 20181204

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