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 /PKGBUILD | |
parent | 0ef2f3780c1346426eb4931fe74cfb092053d9cb (diff) | |
download | aur-emacs-idris-mode-git.tar.gz |
add missing dependency
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,13 +1,14 @@ +# Maintainer: Michał Wojdyła < micwoj9292 at gmail dot com # Contributor: Mort Yao <soi@mort.ninja> pkgname=emacs-idris-mode-git pkgver=20150609 -pkgrel=1 +pkgrel=2 pkgdesc="Major mode for editing Idris." arch=('any') url="https://github.com/idris-hackers/idris-mode" license=('GPL3') -depends=('emacs') +depends=('emacs' 'emacs-prop-menu') makedepends=('git') provides=('emacs-idris-mode') replaces=('emacs-idris-mode') |