diff options
Diffstat (limited to 'testing/idris')
| -rw-r--r-- | testing/idris/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/idris/APKBUILD b/testing/idris/APKBUILD index ed2fffb40a..b8a6cc63ea 100644 --- a/testing/idris/APKBUILD +++ b/testing/idris/APKBUILD @@ -3,7 +3,7 @@ # Maintainer: Mitch Tishmack <mitch.tishmack@gmail.com> pkgname=idris pkgver=1.3.0 -pkgrel=1 +pkgrel=2 pkgdesc="A Language with Dependent Types" url="https://www.idris-lang.org/" # Note: same as ghc, if it gets ported elsewhere this should run too. |