diff options
| -rw-r--r-- | devtools32/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index f66d5d5e5..af148de50 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -5,7 +5,7 @@ # repo: releng pkgname=devtools32 -pkgver=20200518 +pkgver=20200629 pkgrel=1 pkgdesc='Tools for Arch Linux package maintainers, also for 32 bit' arch=('any') @@ -18,7 +18,7 @@ conflicts=('devtools') source=( "https://sources.archlinux32.org/sources/${pkgname}-v${pkgver}.tar.gz"{,.sig} ) -sha512sums=('8477fb7180699ff930feb8499469ab5cb0a30e99cb4d6293591b25b003cb5528d63caa98695995034dab691cab4f72b10f30d4f9fd4ccfd7d08ca4801e4841d8' +sha512sums=('f6ac45b5b86e6e80435eb3c64ecea1f36292a1146a8317c63e77f7952609f9924a4a4e5a6908e0ed8f0d3a227fc851eddfd078a9b1220ba8af5fe5668c9d274f' 'SKIP') validpgpkeys=('DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A') |