2 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 260387c9e6e8..fca20635afe1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = python-mathlibtools
 	pkgdesc = This package contains leanproject, a supporting tool for Lean mathlib
 	pkgver = 1.0.0
-	pkgrel = 1
+	pkgrel = 2
 	url = https://github.com/leanprover-community/mathlib-tools
 	arch = any
 	license = Apache
diff --git a/PKGBUILD b/PKGBUILD
index 131991bb08af..a5f56d47c71a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 _pkgname=mathlibtools
 pkgname=python-$_pkgname
 pkgver=1.0.0
-pkgrel=1
+pkgrel=2
 pkgdesc='This package contains leanproject, a supporting tool for Lean mathlib'
 arch=('any')
 url="https://github.com/leanprover-community/mathlib-tools"