1 files changed, 1 insertions, 1 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