diff options
Diffstat (limited to 'testing/spin/APKBUILD')
| -rw-r--r-- | testing/spin/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/spin/APKBUILD b/testing/spin/APKBUILD index f5a0c5a329..98d7ca086c 100644 --- a/testing/spin/APKBUILD +++ b/testing/spin/APKBUILD @@ -6,7 +6,7 @@ _pkgver=${pkgver//./} pkgrel=0 pkgdesc="Tool for formal verification of distributed software systems" url="http://spinroot.com/" -arch="x86 x86_64" +arch="x86 x86_64 ppc64le" license="BSD" depends="" makedepends="bison" |