diff options
author | Mike Swanson | 2017-08-25 23:41:31 -0700 |
---|---|---|
committer | Mike Swanson | 2017-08-25 23:41:31 -0700 |
commit | 129a5f1bc863f4e689c0dc79f1af18288d6aab7e (patch) | |
tree | 5562fb9bc59234e10079494355370baba044bf21 /PKGBUILD | |
parent | bff6233980f9f60767e67bba475457f1d0bb030c (diff) | |
download | aur-129a5f1bc863f4e689c0dc79f1af18288d6aab7e.tar.gz |
correct the name of 32-bit ARM arch (thanks jimduchek)
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,10 +1,10 @@ # Maintainer: Mike Swanson <mikeonthecomputer@gmail.com> pkgname=pps-tools-git -pkgver=1.0.r0.9d82bc4 -pkgrel=2 +pkgver=1.0.r1.c746f3a +pkgrel=1 pkgdesc="LinuxPPS user-space tools" -arch=('aarch64' 'arm7vh' 'i686' 'x86_64') +arch=('aarch64' 'armv7h' 'i686' 'x86_64') url="http://linuxpps.org/" license=('GPL2') provides=('pps-tools') |