From bf3dcc9ba8758be267c069d498f45b1ec145c2b3 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 4 Dec 2018 11:42:54 +0100
Subject: devtools32 20181204-1 -> 20181204.1-1

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

(limited to 'devtools32')

diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD
index 4420ebef..25e36dba 100644
--- a/devtools32/PKGBUILD
+++ b/devtools32/PKGBUILD
@@ -5,7 +5,7 @@
 # repo: releng
 
 pkgname=devtools32
-pkgver=20181204
+pkgver=20181204.1
 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=('779d3cc41e666889e2a5d4ebfa84b69504e2d6bd4190330b0990a4e676f097b504c4676df0e8adb461504fadd061d4fc2533f152801afd5f16fa885f5a6c80d8'
+sha512sums=('20800509f75986ecbb7c0679ae403bfcf0f3e80185d3a01abe7797efbf596c0ca884ef7585cc7f6ec06a4669c8a4f68636ee13a044c1dd0c9ebc95a13ddaa011'
             'SKIP')
 validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A')
 
-- 
cgit v1.2.3-54-g00ecf