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 9fb0897d..26b27994 100644 --- a/extra/devtools/PKGBUILD +++ b/extra/devtools/PKGBUILD @@ -1,6 +1,6 @@ # we override almost everything -pkgver=20181204 +pkgver=20181204.1 pkgrel=1 pkgdesc='Tools for Arch Linux 32 package maintainers and build slave operators' license=('GPL') @@ -9,7 +9,7 @@ source=( "https://sources.archlinux32.org/sources/${pkgname}32-v${pkgver}.tar.gz"{,.sig} ) if [ "${md5sums[0]}" = 'ed3c757184e633faeea09747a7b91bb1' ]; then - sha512sums=('779d3cc41e666889e2a5d4ebfa84b69504e2d6bd4190330b0990a4e676f097b504c4676df0e8adb461504fadd061d4fc2533f152801afd5f16fa885f5a6c80d8' + sha512sums=('20800509f75986ecbb7c0679ae403bfcf0f3e80185d3a01abe7797efbf596c0ca884ef7585cc7f6ec06a4669c8a4f68636ee13a044c1dd0c9ebc95a13ddaa011' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') unset md5sums |