diff options
| author | Natanael Copa <ncopa@alpinelinux.org> | 2017-05-22 15:18:58 +0000 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2017-05-22 15:18:58 +0000 |
| commit | 9f9567bc4746ad714b8991695fb141688c7ec700 (patch) | |
| tree | c1257c8597db0b946e6c559275c5af4fce953df6 | |
| parent | 390351a6989c8dbcb4dd159e9809ccb0427462c5 (diff) | |
| download | aports-9f9567bc4746ad714b8991695fb141688c7ec700.tar.bz2 aports-9f9567bc4746ad714b8991695fb141688c7ec700.tar.xz | |
testing/idris: disable on armhf. does not build
| -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 2222b3c30d..8e14a06eb9 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" |