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 /PKGBUILD | |
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 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,10 +1,10 @@ -# Maintainer: Mark Barbone <mark.l.barbone at gmail> -# Contributor: MithicSpirit <rpc01234 at gmail dot com> +# Maintainer: Thomas Hansen <thomas-e-hansen at teh dot eu> +# Co-maintainer: MithicSpirit <rpc01234 at gmail dot com> _pkgname=idris2 pkgname=$_pkgname-git pkgver=latest -pkgrel=5 +pkgrel=1 pkgdesc='A purely functional programming language with first class types' url='https://www.idris-lang.org/' license=('custom') |