blob: 5e020d980fbb41308304e9afae390451e5eff05f (
plain)
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 = 20240619
pkgrel = 1
url = https://github.com/idris-hackers/idris-mode
install = emacs-idris-mode-git.install
arch = any
license = GPL-3.0-or-later
makedepends = git
depends = emacs
depends = emacs-prop-menu
provides = emacs-idris-mode
conflicts = emacs-idris-mode
source = git+https://github.com/idris-hackers/idris-mode
b2sums = SKIP
pkgname = emacs-idris-mode-git
|