diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index f8a0e5c2..b955c249 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20180620 +pkgver=20180626 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=('c57e5e038f4e910587a49469282b2280a5168b8d337d2caf6de2a65aba8298dc220a448808827a43136ade07eea88192a9268c4d1921f47adb9e6c91c7a6c464' +sha512sums=('36581ab6feef8a26228e69ca0ede0847a24aae7b9bed1bd11af7e2124ee515ecc7fdd9362d77ac1d4263606c42929b29b98e4b5543148d9302eea4754c299e25' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |