diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index 2222b3c30d73f7104ef59303527b1f26502b984f..8e14a06eb94247d374553243fb210b8b0ceaf463 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -9,7 +9,7 @@ pkgver=1.0 pkgrel=0 pkgdesc="A Language with Dependent Types" url="http://www.idris-lang.org" -arch="x86_64 armhf" +arch="x86_64" license="BSD3" depends="gmp-dev gcc" makedepends="ghc cabal libffi-dev ncurses-dev zlib-dev"