From 4d9c0385b9e87895d2bb71ce08857fdd6cafbe4e Mon Sep 17 00:00:00 2001
From: Manuel Wiesinger <m@mmap.at>
Date: Tue, 14 May 2024 18:53:30 +0100
Subject: [PATCH] pkgrel bump for gcc 14 rebuild

https://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/
---
 .SRCINFO | 2 +-
 PKGBUILD | 2 +-
 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"