extra/devtools: new version

1 files changed, 3 insertions, 5 deletions

diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD
index 86d3b1f0..aec64c14 100644
--- a/extra/devtools/PKGBUILD
+++ b/extra/devtools/PKGBUILD
@@ -1,6 +1,6 @@
 # we override almost everything
 
-pkgver=20180516
+pkgver=20180516.1
 pkgrel=1
 pkgdesc='Tools for Arch Linux 32 package maintainers'
 license=('GPL')
@@ -8,10 +8,8 @@ url='https://github.com/archlinux32/devtools32/'
 source=(
   "https://github.com/archlinux32/${pkgname}32/releases/download/v$pkgver/${pkgname}32-v$pkgver.tar.xz"{,.sig}
 )
-sha512sums=(
-  '01f2142679851f782da53a8c23cd8b750eff4481f933edd115d560406461f401a7dcfec09a483b8732a293293f4332c6ca8db9b047c3351793969082c1ebf2a1'
-  'SKIP'
-)
+sha512sums=('ab0455feadb859040e84103172aabddf04dccafceb853c2fdbef481f3d1263566bc2d4158f1892c933ff8a62c85e5f227bd86d3cf1fd0d5d6c4775e03baa2b5a'
+            'SKIP')
 validpgpkeys=(
   '5FDCA472AB93292BC678FD59255A76DB9A12601A'
   'DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A'