diff options
Diffstat (limited to 'core/ppl')
-rw-r--r-- | core/ppl/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/ppl/PKGBUILD b/core/ppl/PKGBUILD index ca648d973..dbb31392e 100644 --- a/core/ppl/PKGBUILD +++ b/core/ppl/PKGBUILD @@ -6,7 +6,7 @@ pkgname=ppl pkgver=0.12.1 pkgrel=1 pkgdesc="A modern library for convex polyhedra and other numerical abstractions." -arch=('i686' 'x86_64') +arch=('i686' 'x86_64' 'mips64el') url="http://bugseng.com/products/ppl" license=('GPL3') depends=('gmp>=5.0') |