From 44ffe838b76cb6fa8b07d5ead5f8fa330710d82a Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 12 Dec 2019 08:18:35 +0100
Subject: devtools32 20191130-1 -> 20191212-1

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

(limited to 'devtools32')

diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD
index f41b1e12..645c52ae 100644
--- a/devtools32/PKGBUILD
+++ b/devtools32/PKGBUILD
@@ -5,7 +5,7 @@
 # repo: releng
 
 pkgname=devtools32
-pkgver=20191130
+pkgver=20191212
 pkgrel=1
 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit'
 arch=('any')
@@ -18,7 +18,7 @@ conflicts=('devtools')
 source=(
   "https://sources.archlinux32.org/sources/${pkgname}-v${pkgver}.tar.gz"{,.sig}
 )
-sha512sums=('cb8f9cff827c0049ed0b473e4175c52a972cf395c33ece812b4e66f1751575d8e17eae474e73aca1c1e918f12d77958e3420c2080d0d27c4215f1a1fe929d21f'
+sha512sums=('15cf9f43f655620c8c0dfb0352b5a5e65b9c522dbaa3d8abd24baea6ec2b7bf81482ea32d580730d6995f47e37462d4629ca4bb445eb08fa56741473609aaff9'
             'SKIP')
 validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A')
 
-- 
cgit v1.2.3-54-g00ecf