From 16819e827471c0c426c222d35c534487965d9de6 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 5 Dec 2018 15:08:34 +0100
Subject: devtools32 20181204.1-1 -> 20181205-1

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

(limited to 'devtools32')

diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD
index 25e36dba..63ac3e14 100644
--- a/devtools32/PKGBUILD
+++ b/devtools32/PKGBUILD
@@ -5,7 +5,7 @@
 # repo: releng
 
 pkgname=devtools32
-pkgver=20181204.1
+pkgver=20181205
 pkgrel=1
 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit'
 arch=('any')
@@ -17,7 +17,7 @@ conflicts=('devtools')
 source=(
   "https://sources.archlinux32.org/sources/${pkgname}-v${pkgver}.tar.gz"{,.sig}
 )
-sha512sums=('20800509f75986ecbb7c0679ae403bfcf0f3e80185d3a01abe7797efbf596c0ca884ef7585cc7f6ec06a4669c8a4f68636ee13a044c1dd0c9ebc95a13ddaa011'
+sha512sums=('144ad44f36d39cfb8c32e95716c41559b88ad58150517b6c777850432d78dcda2c84c4c47505353aaefbccb818831e460259aaa85424f2dfd70b4c47ba4ec360'
             'SKIP')
 validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A')
 
-- 
cgit v1.2.3-54-g00ecf