diff options
| author | Michal Wojdyla | 2024-04-08 20:27:33 +0200 |
|---|---|---|
| committer | Michal Wojdyla | 2024-04-08 20:27:33 +0200 |
| commit | 9168593f03fa50f9a8d32f3859302c45c3d93eca (patch) | |
| tree | afda6b0938cfcdcad1ac43b8063a8494803af7c7 /.SRCINFO | |
| parent | 0ef2f3780c1346426eb4931fe74cfb092053d9cb (diff) | |
| download | aur-9168593f03fa50f9a8d32f3859302c45c3d93eca.tar.gz | |
add missing dependency
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,13 +1,14 @@ pkgbase = emacs-idris-mode-git pkgdesc = Major mode for editing Idris. pkgver = 20150609 - pkgrel = 1 + 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 |