diff options
| -rw-r--r-- | extra/devtools/PKGBUILD | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD index 86d3b1f0..aec64c14 100644 --- a/extra/devtools/PKGBUILD +++ b/extra/devtools/PKGBUILD @@ -1,6 +1,6 @@ # we override almost everything -pkgver=20180516 +pkgver=20180516.1 pkgrel=1 pkgdesc='Tools for Arch Linux 32 package maintainers' license=('GPL') @@ -8,10 +8,8 @@ url='https://github.com/archlinux32/devtools32/' source=( "https://github.com/archlinux32/${pkgname}32/releases/download/v$pkgver/${pkgname}32-v$pkgver.tar.xz"{,.sig} ) -sha512sums=( - '01f2142679851f782da53a8c23cd8b750eff4481f933edd115d560406461f401a7dcfec09a483b8732a293293f4332c6ca8db9b047c3351793969082c1ebf2a1' - 'SKIP' -) +sha512sums=('ab0455feadb859040e84103172aabddf04dccafceb853c2fdbef481f3d1263566bc2d4158f1892c933ff8a62c85e5f227bd86d3cf1fd0d5d6c4775e03baa2b5a' + 'SKIP') validpgpkeys=( '5FDCA472AB93292BC678FD59255A76DB9A12601A' 'DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A' |