diff options
author | mb64 | 2020-05-26 23:21:00 -0400 |
---|---|---|
committer | mb64 | 2020-05-26 23:21:00 -0400 |
commit | 0da10a0f7c27b9bfaff93f7ac073529daef52733 (patch) | |
tree | 95aafa991236c2a87f9fcf90ad13cd37cf32213e /.SRCINFO | |
download | aur-0da10a0f7c27b9bfaff93f7ac073529daef52733.tar.gz |
Initial commit
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..24a59b54e125 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = idris2-git + pkgdesc = Funtional Programming Lanugage with Dependent Types + pkgver = 0.2.0.r30.g8b062f4 + pkgrel = 1 + url = https://www.idris-lang.org/ + arch = x86_64 + license = custom + makedepends = git + depends = chez-scheme + provides = idris2 + conflicts = idris2 + source = git+https://github.com/idris-lang/idris2.git + md5sums = SKIP + +pkgname = idris2-git + |