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 | |
| parent | 0ef2f3780c1346426eb4931fe74cfb092053d9cb (diff) | |
| download | aur-emacs-idris-mode-git.tar.gz | |
add missing dependency
| -rw-r--r-- | .SRCINFO | 3 | ||||
| -rw-r--r-- | PKGBUILD | 5 |
2 files changed, 5 insertions, 3 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 @@ -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') |