diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index d5d509c0..2fffe262 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20180529 +pkgver=20180531 pkgrel=1 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit' arch=('any') @@ -17,7 +17,7 @@ conflicts=('devtools') source=( "https://github.com/archlinux32/$pkgname/releases/download/v$pkgver/$pkgname-v$pkgver.tar.xz"{,.sig} ) -sha512sums=('0b5fb01a1af9ff18965570c6fc190ed77a66a5b8ee9f8a2beefdddae594529e935ae992420e4793257cb51533214ef30cb8fc1a45e52a508ced8f94d49fb252c' +sha512sums=('75ec36fb351d576ca1bb4db07b61f8b417e68c386220a3e63f13618aa6bae8d0e2b1552a60bad78d7b5872c57ccc66d27a8a29a2a56bdbdcbfdf00277467118e' 'SKIP') validpgpkeys=( '5FDCA472AB93292BC678FD59255A76DB9A12601A' |