.SRCINFO


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

pkgbase = emacs-idris-mode-git
	pkgdesc = Major mode for editing Idris.
	pkgver = 20150609
	pkgrel = 2
	url = https://github.com/idris-hackers/idris-mode
	install = emacs-idris-mode-git.install
	arch = any
	license = GPL3
	makedepends = git
	depends = emacs
	depends = emacs-prop-menu
	provides = emacs-idris-mode
	replaces = emacs-idris-mode
	source = git+https://github.com/idris-hackers/idris-mode
	b2sums = SKIP

pkgname = emacs-idris-mode-git