diff options
| -rw-r--r-- | testing/idris/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index 2222b3c30d7..8e14a06eb94 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" |