From 9f9567bc4746ad714b8991695fb141688c7ec700 Mon Sep 17 00:00:00 2001
From: Natanael Copa <ncopa@alpinelinux.org>
Date: Mon, 22 May 2017 15:18:58 +0000
Subject: [PATCH] testing/idris: disable on armhf. does not build

---
 testing/idris/APKBUILD | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD
index 2222b3c30d73..8e14a06eb942 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"
-- 
GitLab