diff options
| -rw-r--r-- | extra/devtools/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/devtools/PKGBUILD b/extra/devtools/PKGBUILD index b9b668ac..9bd16bab 100644 --- a/extra/devtools/PKGBUILD +++ b/extra/devtools/PKGBUILD @@ -1,6 +1,6 @@ # we override almost everything -pkgver=20191130 +pkgver=20191212 pkgrel=1 pkgdesc='Tools for Arch Linux 32 package maintainers and build slave operators' license=('GPL') @@ -8,7 +8,7 @@ url='https://git.archlinux32.org/archlinux32/devtools32/' source=( "https://sources.archlinux32.org/sources/${pkgname}32-v${pkgver}.tar.gz"{,.sig} ) -sha512sums=('cb8f9cff827c0049ed0b473e4175c52a972cf395c33ece812b4e66f1751575d8e17eae474e73aca1c1e918f12d77958e3420c2080d0d27c4215f1a1fe929d21f' +sha512sums=('15cf9f43f655620c8c0dfb0352b5a5e65b9c522dbaa3d8abd24baea6ec2b7bf81482ea32d580730d6995f47e37462d4629ca4bb445eb08fa56741473609aaff9' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') unset sha256sums |