diff options
| author | mb64 | 2021-01-12 17:32:48 -0800 |
|---|---|---|
| committer | mb64 | 2021-01-12 17:32:48 -0800 |
| commit | 09eb103f326efda982b8a8ff075eb894a81d75de (patch) | |
| tree | 475cb1c19b8d8886defba60f0e9d0414ef27a108 | |
| parent | 2cd7350fbc799dc1e7d391cd4200893e048c6b93 (diff) | |
| download | aur-09eb103f326efda982b8a8ff075eb894a81d75de.tar.gz | |
Version 0.2.2
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,7 +3,7 @@ # pkgname=idris2 -pkgver=0.2.1 +pkgver=0.2.2 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=('8a32f6e93479deaf7674671ce7f06e5cc3c32afc10dccb96bd0aed34d47e9334') +sha256sums=('faadedda48e103163af1cc3edaf646321c8eec43e1ec45c7b0f85c14334449e3') _srcname="Idris2-$pkgver" |