blob: e7578e1794a6653975289d64c574b3a36070a7db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = emacs-idris-mode-git
pkgdesc = Major mode for editing Idris.
pkgver = 20150609
pkgrel = 1
url = https://github.com/idris-hackers/idris-mode
install = emacs-idris-mode-git.install
arch = any
license = GPL3
makedepends = git
depends = emacs
provides = emacs-idris-mode
replaces = emacs-idris-mode
source = git+https://github.com/idris-hackers/idris-mode
b2sums = SKIP
pkgname = emacs-idris-mode-git
|