summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 3aa5a8a879c4ac893ba3a5da6e093c97bc1e1e52 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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