git: 59b874ec7334 - main - math/kissat: update 3.1.1 → 4.0.0

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 30 Jul 2024 02:02:08 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=59b874ec733473af0d5596cc8e39b5f8726f8731

commit 59b874ec733473af0d5596cc8e39b5f8726f8731
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-07-29 19:20:38 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-07-30 02:01:56 +0000

    math/kissat: update 3.1.1 → 4.0.0
    
    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 54ca8e503210..ff4981cba4de 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	3.1.1
+DISTVERSION=	4.0.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index 22b0e7ae6e4a..0c5cc8e11b94 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1699206424
-SHA256 (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = ac7f50b4a345d9c9ae4fb7dcd7664c6e2512d99e4198de6f42aad9c008e7150a
-SIZE (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = 471004
+TIMESTAMP = 1722240959
+SHA256 (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = e04b37adf89ee6295ddc9756f9e5c35a98aa0aa6c01656bd282494e297fc7543
+SIZE (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = 531130