Skip to content
Snippets Groups Projects
Commit 02c8103c authored by Sören Tempel's avatar Sören Tempel
Browse files

testing/idris2: remove dependency on coretutils 

no longer required with 0.5.1.

See https://github.com/idris-lang/Idris2/issues/1935
parent 2c1a7110
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 3 deletions
testing/idris2/APKBUILD
+ 1
− 3
View file @ 02c8103c
...@@ -7,9 +7,7 @@ pkgdesc="Purely functional programming language with first class types" ...@@ -7,9 +7,7 @@ pkgdesc="Purely functional programming language with first class types"
url="https://www.idris-lang.org" url="https://www.idris-lang.org"
arch="x86 x86_64" # limited by chez-scheme arch="x86 x86_64" # limited by chez-scheme
license="BSD-3-Clause" license="BSD-3-Clause"
# TODO: Needs sha256sum from coreutils, add support for busybox sha256sum. depends="chez-scheme gmp-dev"
# See https://github.com/idris-lang/Idris2/issues/1935
depends="coreutils chez-scheme gmp-dev"
makedepends="bash py3-sphinx py3-sphinx_rtd_theme" makedepends="bash py3-sphinx py3-sphinx_rtd_theme"
subpackages="$pkgname-doc" subpackages="$pkgname-doc"
source="https://github.com/idris-lang/Idris2/archive/v$pkgver/idris2-$pkgver.tar.gz" source="https://github.com/idris-lang/Idris2/archive/v$pkgver/idris2-$pkgver.tar.gz"
......
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