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.

2 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5981417b619a..c64643bf3635 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 8c4598c0de3d..4f0f35eea2bb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')