From 95807b191bdca49c11a61d0bfe313c9c17c3d1fa Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 31 May 2018 16:13:27 +0200
Subject: extra/devtools: new version

---
 extra/devtools/PKGBUILD | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD
index 32961d65..3a21a2dd 100644
--- a/extra/devtools/PKGBUILD
+++ b/extra/devtools/PKGBUILD
@@ -1,6 +1,6 @@
 # we override almost everything
 
-pkgver=20180529
+pkgver=20180531
 pkgrel=1
 pkgdesc='Tools for Arch Linux 32 package maintainers'
 license=('GPL')
@@ -8,7 +8,7 @@ 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=('0b5fb01a1af9ff18965570c6fc190ed77a66a5b8ee9f8a2beefdddae594529e935ae992420e4793257cb51533214ef30cb8fc1a45e52a508ced8f94d49fb252c'
+sha512sums=('75ec36fb351d576ca1bb4db07b61f8b417e68c386220a3e63f13618aa6bae8d0e2b1552a60bad78d7b5872c57ccc66d27a8a29a2a56bdbdcbfdf00277467118e'
             'SKIP')
 validpgpkeys=(
   '5FDCA472AB93292BC678FD59255A76DB9A12601A'
-- 
cgit v1.2.3-54-g00ecf