diff options
| author | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2017-10-03 00:56:57 +0000 |
|---|---|---|
| committer | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2017-10-03 00:56:57 +0000 |
| commit | fc6fef552a9dea62273c19181e8ff861ff61fac0 (patch) | |
| tree | 62d5d116fb3eadb590b8a18e1efeba89e8923b01 | |
| parent | 311bce3e71abda2f6fb353a6485435d1dece0569 (diff) | |
| download | aports-fc6fef552a9dea62273c19181e8ff861ff61fac0.tar.bz2 aports-fc6fef552a9dea62273c19181e8ff861ff61fac0.tar.xz | |
testing/spin: enable build on ppc64le
| -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" |