diff options
author | mb64 | 2021-01-13 10:58:18 -0800 |
---|---|---|
committer | mb64 | 2021-01-13 10:58:18 -0800 |
commit | e13e069c21316938a37516945463a58f1246ef5f (patch) | |
tree | 1829d63d0c23688587b18757e620c00027093ed3 | |
parent | 5c80addb3b2dc7584de079f2ef4b7e3062a9715c (diff) | |
download | aur-e13e069c21316938a37516945463a58f1246ef5f.tar.gz |
Version 0.3.0
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,14 +1,14 @@ pkgbase = idris2 pkgdesc = Funtional Programming Lanugage with Dependent Types - pkgver = 0.2.2 + pkgver = 0.3.0 pkgrel = 1 url = https://www.idris-lang.org/ arch = x86_64 license = custom makedepends = git depends = chez-scheme - source = https://www.idris-lang.org/idris2-src/idris2-0.2.2.tgz - sha256sums = faadedda48e103163af1cc3edaf646321c8eec43e1ec45c7b0f85c14334449e3 + source = https://www.idris-lang.org/idris2-src/idris2-0.3.0.tgz + sha256sums = 5be811e6327d3473dd84d4b498b78ab4046defed1063f28ac60dcd41aa229ec3 pkgname = idris2 @@ -3,7 +3,7 @@ # pkgname=idris2 -pkgver=0.2.2 +pkgver=0.3.0 pkgrel=1 pkgdesc="Funtional Programming Lanugage with Dependent Types" url="https://www.idris-lang.org/" @@ -12,7 +12,7 @@ arch=('x86_64') depends=('chez-scheme') makedepends=('git') source=("https://www.idris-lang.org/idris2-src/idris2-${pkgver}.tgz") -sha256sums=('faadedda48e103163af1cc3edaf646321c8eec43e1ec45c7b0f85c14334449e3') +sha256sums=('5be811e6327d3473dd84d4b498b78ab4046defed1063f28ac60dcd41aa229ec3') _srcname="Idris2-$pkgver" |