diff options
| author | MithicSpirit | 2023-03-01 08:30:38 -0500 |
|---|---|---|
| committer | MithicSpirit | 2023-03-01 08:30:38 -0500 |
| commit | 6cbc233a35e650c04f573d922d676d7258c5224e (patch) | |
| tree | cfe9b2cb95b71abbf33b54b57b75fce952791a1a /.SRCINFO | |
| parent | 9dd6a4fef5c37d58437ada362dabe9eb92f5d3da (diff) | |
| download | aur-6cbc233a35e650c04f573d922d676d7258c5224e.tar.gz | |
Prepare for publishing to AUR
Resets the pkgrel since since the AUR doesn't have the version history
from github and update Maintainer/Co-maintainer to reflect recent
changes.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = idris2-git pkgdesc = A purely functional programming language with first class types pkgver = latest - pkgrel = 5 + pkgrel = 1 url = https://www.idris-lang.org/ arch = x86_64 license = custom |