diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,14 +1,14 @@ pkgbase = idris2 pkgdesc = Funtional Programming Lanugage with Dependent Types - pkgver = 0.2.0 - pkgrel = 2 + pkgver = 0.2.1 + 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.0.tgz - sha256sums = 03869e02cf983947c30fe66660b305114e2d21c96d3dab17efc0c7923d940db6 + source = https://www.idris-lang.org/idris2-src/idris2-0.2.1.tgz + sha256sums = 8a32f6e93479deaf7674671ce7f06e5cc3c32afc10dccb96bd0aed34d47e9334 pkgname = idris2 |