diff --git a/community/idris2-stage0/APKBUILD b/community/idris2-stage0/APKBUILD index d2df9dbb202d14a623c446883885291d19f41c43..a73082bd8528e6063b7c001d350c4dbcc9697e0d 100644 --- a/community/idris2-stage0/APKBUILD +++ b/community/idris2-stage0/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=idris2-stage0 pkgver=0.6.0 -pkgrel=1 +pkgrel=2 pkgdesc="Idris 2 version used to bootstrap the Idris 2 compiler" url="https://www.idris-lang.org" arch="x86 x86_64" # limited by chez-scheme