Commit 9f9567bc authored by Natanael Copa's avatar Natanael Copa

testing/idris: disable on armhf. does not build

parent 390351a6
......@@ -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"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment