testing/spin: enable build on ppc64le

This commit is contained in:
Roberto Oliveira 2017-10-03 00:56:57 +00:00
parent 311bce3e71
commit fc6fef552a

View File

@ -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"