From c7a7b33b1bd080973ced5113b5ab38f58084bda2 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Sun, 18 Aug 2019 20:44:17 +0200 Subject: devtools32 20190616-1 -> 20190818-1 --- devtools32/PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index a0774a1b7..ee0ca87aa 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20190616 +pkgver=20190818 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=('ad5299f658140b05e510c31c06e7c1d9eaeff0cb786e25eb483e47223908e55df65b41f8846834c6229b2f46db4ea0c7e01bd6863e96ad809c0b7cfd8dd95008' +sha512sums=('7f8a1c60868e0f8334e070833c7e073c5d6ed38ab76593d03009440df16fe430f482f338a9659663f11a24d9b58e04199e1b70cb3fc40e33bb3c07df2a50a183' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') -- cgit v1.2.3-70-g09d2