Skip to content
Snippets Groups Projects
Commit 8dd1b669 authored by Will Sinatra's avatar Will Sinatra
Browse files

community/idris2-stage0: trigger rebuild

parent e7206e58
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
community/idris2-stage0/APKBUILD
+ 1
− 1
View file @ 8dd1b669
......@@ -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
......
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