From be4049c5932753cd7d6c8bd98da194568c3e0c59 Mon Sep 17 00:00:00 2001
From: Manuel Wiesinger <m@mmap.at>
Date: Sun, 26 Jan 2025 23:32:03 +0100
Subject: [PATCH] 4.0.1 -> 4.0.2

- Tested in clean chroot
---
 .SRCINFO | 8 ++++----
 PKGBUILD | 6 +++---
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.SRCINFO b/.SRCINFO
index ae8603171434..0fd730f8a5af 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,13 @@
 pkgbase = kissat
 	pkgdesc = A keep it simple and clean bare metal SAT solver written in C
-	pkgver = 4.0.1
-	pkgrel = 2
+	pkgver = 4.0.2
+	pkgrel = 1
 	url = https://fmv.jku.at/kissat
 	arch = x86_64
 	license = MIT
 	depends = glibc
 	conflicts = kitty
-	source = kissat-4.0.1.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.1.tar.gz
-	b2sums = ca0699e48601ef0c5b0284f75bc6f5a260f9b594411921f8c502402fe6f5b2fc5890ebceb81d7b01c87fe75489d91263d7d4edf94e00e73ec1d868bc36e626e8
+	source = kissat-4.0.2.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.2.tar.gz
+	b2sums = 7b36083b55fc2cad7d5607d552b3624347db4831061d6c2481da4361719b3e53bfc58974129bbd4663b3c267477526e433923658c80122d8da5121f5eed36038
 
 pkgname = kissat
diff --git a/PKGBUILD b/PKGBUILD
index c41565b3d8a3..f19361de519b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
 # Maintainer: Manuel Wiesinger <m {you know what belongs here} mmap {and here} at>
 
 pkgname=kissat
-pkgver=4.0.1
-pkgrel=2
+pkgver=4.0.2
+pkgrel=1
 pkgdesc="A keep it simple and clean bare metal SAT solver written in C"
 arch=('x86_64')
 url="https://fmv.jku.at/kissat"
@@ -11,7 +11,7 @@ depends=('glibc')
 conflicts=('kitty')
 _srcname="${pkgname}-rel-${pkgver}"
 source=("$pkgname-$pkgver.tar.gz::https://github.com/arminbiere/kissat/archive/refs/tags/rel-${pkgver}.tar.gz")
-b2sums=('ca0699e48601ef0c5b0284f75bc6f5a260f9b594411921f8c502402fe6f5b2fc5890ebceb81d7b01c87fe75489d91263d7d4edf94e00e73ec1d868bc36e626e8')
+b2sums=('7b36083b55fc2cad7d5607d552b3624347db4831061d6c2481da4361719b3e53bfc58974129bbd4663b3c267477526e433923658c80122d8da5121f5eed36038')
 
 build() {
     cd "${srcdir}/${_srcname}"