diff options
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..3aa5a8a879c4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = vim-idris-git + pkgdesc = Vim syntax support for the dependently-typed Idris language. + pkgver = 110.45680a3 + pkgrel = 1 + url = https://github.com/idris-hackers/idris-vim + arch = any + license = MIT + makedepends = git + depends = vim + provides = vim-idris + conflicts = vim-idris + source = git://github.com/idris-hackers/idris-vim.git + md5sums = SKIP + +pkgname = vim-idris-git + |