summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO16
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
+