git: 6e6768a3a69c - main - math/kissat: update 4.0.0 → 4.0.1

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Mon, 16 Sep 2024 07:48:52 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=6e6768a3a69c648befd446af9c855a85bc392abc

commit 6e6768a3a69c648befd446af9c855a85bc392abc
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-09-16 06:48:39 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-09-16 07:48:28 +0000

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

diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index ff4981cba4de..6a526db40da6 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	4.0.0
+DISTVERSION=	4.0.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index 0c5cc8e11b94..d7a93260271c 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1722240959
-SHA256 (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = e04b37adf89ee6295ddc9756f9e5c35a98aa0aa6c01656bd282494e297fc7543
-SIZE (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = 531130
+TIMESTAMP = 1726456259
+SHA256 (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
+SIZE (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 531537