git: 4850823a295a - main - math/kissat: update 4.0.2 → 4.0.3

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=4850823a295a45fcbb12fbc90031fbeea13fc05c

commit 4850823a295a45fcbb12fbc90031fbeea13fc05c
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-06-29 22:04:01 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-06-29 22:04:28 +0000

    math/kissat: update 4.0.2 → 4.0.3
    
    Reported by:    portscout
---
 math/kissat/Makefile | 4 ++--
 math/kissat/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index 2605eb1b397f..a2c35fe559ff 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	4.0.2
+DISTVERSION=	4.0.3
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -48,6 +48,6 @@ do-install: # https://github.com/arminbiere/kissat/issues/62
 	${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib
 	${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib
 
-# tests as of 4.0.2: All 1043 test jobs succeeded in 2.35 seconds.
+# tests as of 4.0.3: All 1043 test jobs succeeded in 6.65 seconds.
 
 .include <bsd.port.mk>
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index 8e523b8b6848..5616f9414e86 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1737785441
-SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7
-SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941
+TIMESTAMP = 1751232358
+SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971
+SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881