diff options
| author | mb64 | 2021-01-12 17:33:57 -0800 |
|---|---|---|
| committer | mb64 | 2021-01-12 17:33:57 -0800 |
| commit | 5c80addb3b2dc7584de079f2ef4b7e3062a9715c (patch) | |
| tree | 39b69238cd92d3e6f7d977392e697e2e46f2e3a9 | |
| parent | 09eb103f326efda982b8a8ff075eb894a81d75de (diff) | |
| download | aur-5c80addb3b2dc7584de079f2ef4b7e3062a9715c.tar.gz | |
Update .SRCINFO
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,14 +1,14 @@ pkgbase = idris2 pkgdesc = Funtional Programming Lanugage with Dependent Types - pkgver = 0.2.1 + pkgver = 0.2.2 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.1.tgz - sha256sums = 8a32f6e93479deaf7674671ce7f06e5cc3c32afc10dccb96bd0aed34d47e9334 + source = https://www.idris-lang.org/idris2-src/idris2-0.2.2.tgz + sha256sums = faadedda48e103163af1cc3edaf646321c8eec43e1ec45c7b0f85c14334449e3 pkgname = idris2 |