pkgrel bump for gcc 14 rebuild

https://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/

2 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index fe947c2e95f4..4105aa878ea3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = kissat
 	pkgdesc = A keep it simple and clean bare metal SAT solver written in C
 	pkgver = 3.1.1
-	pkgrel = 2
+	pkgrel = 3
 	url = https://fmv.jku.at/kissat
 	arch = x86_64
 	license = MIT
diff --git a/PKGBUILD b/PKGBUILD
index 075d812bd74c..5783e9f13f49 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=kissat
 pkgver=3.1.1
-pkgrel=2
+pkgrel=3
 pkgdesc="A keep it simple and clean bare metal SAT solver written in C"
 arch=('x86_64')
 url="https://fmv.jku.at/kissat"