diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index 001dec75a..992a23ca6 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20200219 +pkgver=20200219.1 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=('e7365b7ba74bc547d4a34a80ef91fd3aa3d82b2bd3688a96c2772f1c9863640368d8b71604a24d06190498527c621510c19de87a478cb3ee15d1c3389ed92ad0' +sha512sums=('6063858f344dabaf789a947674eb27774ece5acd2ab819e24e56114e81a5d9b05cd42768816bab974f2c71ed7648f6782609bdc9db77a8289c8bb0783975cfb0' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |