diff options
| author | Michal Wojdyla | 2024-05-25 01:46:04 +0200 |
|---|---|---|
| committer | Michal Wojdyla | 2024-05-25 01:46:04 +0200 |
| commit | 474e1ef11871484a0490d2c6e4121b18e277b2df (patch) | |
| tree | 3449cf91cfb039feec7398c00adfc227e5f58440 /.SRCINFO | |
| parent | 9168593f03fa50f9a8d32f3859302c45c3d93eca (diff) | |
| download | aur-emacs-idris-mode-git.tar.gz | |
spdx license identifier
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,11 +1,11 @@ pkgbase = emacs-idris-mode-git pkgdesc = Major mode for editing Idris. pkgver = 20150609 - pkgrel = 2 + pkgrel = 3 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 |