git: 73ab6e5f8ba5 - main - math/kissat: update 3.1.0 → 3.1.1

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=73ab6e5f8ba5d00088318d284f55568344f53b6f

commit 73ab6e5f8ba5d00088318d284f55568344f53b6f
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-11-05 17:49:40 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-11-05 17:49:40 +0000

    math/kissat: update 3.1.0 → 3.1.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 5b29e5c15f38..54ca8e503210 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	3.1.0
+DISTVERSION=	3.1.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index 1e28c6d91a28..22b0e7ae6e4a 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1687668870
-SHA256 (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = e85c757179bf7d96d21d2d6e3f0a8f2337d416b0e13ae065a9a8d52e30048bd3
-SIZE (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = 470710
+TIMESTAMP = 1699206424
+SHA256 (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = ac7f50b4a345d9c9ae4fb7dcd7664c6e2512d99e4198de6f42aad9c008e7150a
+SIZE (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = 471004