.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# Generated by mksrcinfo v8
# Wed Jul 13 10:27:45 UTC 2016
pkgbase = vim-coquille-git
	pkgdesc = Vim plugin aiming to bring the interactivity of CoqIDE into your favorite editor.
	pkgver = 3bd17ca
	pkgrel = 1
	url = https://github.com/the-lambda-church/coquille
	arch = i686
	arch = x86_64
	license = ISC
	depends = vim-runtime
	source = vim-coquille-git::git+https://github.com/the-lambda-church/coquille.git#branch=pathogen-bundle
	source = vimbufsync::git+https://github.com/let-def/vimbufsync.git#branch=master
	md5sums = SKIP
	md5sums = SKIP

pkgname = vim-coquille-git