diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,16 +1,16 @@ pkgbase = emacs-idris-mode-git pkgdesc = Major mode for editing Idris. pkgver = 20150609 - pkgrel = 2 + pkgrel = 4 url = https://github.com/idris-hackers/idris-mode install = emacs-idris-mode-git.install arch = any - license = GPL3 + license = GPL-3.0-or-later makedepends = git depends = emacs depends = emacs-prop-menu provides = emacs-idris-mode - replaces = emacs-idris-mode + conflicts = emacs-idris-mode source = git+https://github.com/idris-hackers/idris-mode b2sums = SKIP |