diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2024-04-20 23:32:26 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2024-04-20 23:32:26 +0200 |
| commit | 4ade08a7778942a89e8475f139d912de79597c92 (patch) | |
| tree | 97a1412a046f838542a247e1d53808658e45ee85 | |
| parent | 06f0f9e845b4bd27d17c0b19aac1e1058b5dc57f (diff) | |
Needed for chez-scheme-0.10.0 rebuild.
| -rw-r--r-- | community/idris2/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/idris2/APKBUILD b/community/idris2/APKBUILD index e095075ab9e..a0b2171f5ae 100644 --- a/community/idris2/APKBUILD +++ b/community/idris2/APKBUILD @@ -4,13 +4,13 @@ pkgname=idris2 pkgver=0.7.0 # XXX: For chez-scheme rebuilds, re-bootstrap from -stage0 and # afterwards self-host by depending on idris2-bootstrap again. -pkgrel=2 +pkgrel=3 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" depends="chez-scheme gmp-dev" -makedepends="idris2-bootstrap>=$pkgver bash py3-sphinx py3-sphinx_rtd_theme" +makedepends="idris2-stage0>=$pkgver bash py3-sphinx py3-sphinx_rtd_theme" subpackages="$pkgname-doc $pkgname-api" source="https://github.com/idris-lang/Idris2/archive/v$pkgver/idris2-$pkgver.tar.gz fix-expected-cat-err.patch" |