From bf3dcc9ba8758be267c069d498f45b1ec145c2b3 Mon Sep 17 00:00:00 2001 From: Erich Eckner 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 4420ebefb..25e36dba8 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-70-g09d2