diff options
author | Mort Yao | 2015-06-09 14:32:47 +0800 |
---|---|---|
committer | Mort Yao | 2015-06-09 14:32:47 +0800 |
commit | fc1dd0ed7b3522624ee172f763c940289c7e2d58 (patch) | |
tree | c61d7737857d136368415e495b79037fe9838e11 /.SRCINFO | |
download | aur-fc1dd0ed7b3522624ee172f763c940289c7e2d58.tar.gz |
Initial import
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e49f6881cb2e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +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 + +pkgname = emacs-idris-mode-git + |