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 | alpine_aports-9f9567bc4746ad714b8991695fb141688c7ec700.tar.bz2 alpine_aports-9f9567bc4746ad714b8991695fb141688c7ec700.tar.xz alpine_aports-9f9567bc4746ad714b8991695fb141688c7ec700.zip | |
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 | |||
| 9 | pkgrel=0 | 9 | pkgrel=0 |
| 10 | pkgdesc="A Language with Dependent Types" | 10 | pkgdesc="A Language with Dependent Types" |
| 11 | url="http://www.idris-lang.org" | 11 | url="http://www.idris-lang.org" |
| 12 | arch="x86_64 armhf" | 12 | arch="x86_64" |
| 13 | license="BSD3" | 13 | license="BSD3" |
| 14 | depends="gmp-dev gcc" | 14 | depends="gmp-dev gcc" |
| 15 | makedepends="ghc cabal libffi-dev ncurses-dev zlib-dev" | 15 | makedepends="ghc cabal libffi-dev ncurses-dev zlib-dev" |