From 02c8103c493201b2dfee674ea4811cad56b8e6d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
Date: Mon, 20 Sep 2021 21:11:55 +0200
Subject: [PATCH] testing/idris2: remove dependency on coretutils

no longer required with 0.5.1.

See https://github.com/idris-lang/Idris2/issues/1935
---
 testing/idris2/APKBUILD | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/testing/idris2/APKBUILD b/testing/idris2/APKBUILD
index 68f9cab357cb..9bad8ec6a84f 100644
--- a/testing/idris2/APKBUILD
+++ b/testing/idris2/APKBUILD
@@ -7,9 +7,7 @@ pkgdesc="Purely functional programming language with first class types"
 url="https://www.idris-lang.org"
 arch="x86 x86_64" # limited by chez-scheme
 license="BSD-3-Clause"
-# TODO: Needs sha256sum from coreutils, add support for busybox sha256sum.
-# See https://github.com/idris-lang/Idris2/issues/1935
-depends="coreutils chez-scheme gmp-dev"
+depends="chez-scheme gmp-dev"
 makedepends="bash py3-sphinx py3-sphinx_rtd_theme"
 subpackages="$pkgname-doc"
 source="https://github.com/idris-lang/Idris2/archive/v$pkgver/idris2-$pkgver.tar.gz"
-- 
GitLab