Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 16 Sep 2024 07:48:52 GMT
From:      Yuri Victorovich <yuri@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: 6e6768a3a69c - main - math/kissat: update 4.0.0 =?utf-8?Q?=E2=86=92?= 4.0.1
Message-ID:  <202409160748.48G7mq9d075466@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202409160748.48G7mq9d075466>