diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..31100054aceb --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = idris2 + pkgdesc = Funtional Programming Lanugage with Dependent Types + pkgver = 0.2.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-latest.tgz + sha256sums = 03869e02cf983947c30fe66660b305114e2d21c96d3dab17efc0c7923d940db6 + +pkgname = idris2 + |