git: 5a55735fc3fe - main - math/kissat: Update 3.0.0 → 3.1.0

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 25 Jun 2023 07:04:00 UTC

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=5a55735fc3fe4c5d0c90eec29e6295b271daf14f

commit 5a55735fc3fe4c5d0c90eec29e6295b271daf14f
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-06-25 05:02:08 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-06-25 07:03:55 +0000

    math/kissat: Update 3.0.0 → 3.1.0
    
    Reported by:    portscout
---
 math/kissat/Makefile | 4 +---
 math/kissat/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index 927c0c56907a..5b29e5c15f38 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	3.0.0
+DISTVERSION=	3.1.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -13,8 +13,6 @@ LICENSE_FILE=	${WRKSRC}/LICENSE
 USES=		gmake
 USE_LDCONFIG=	yes
 
-USE_GITHUB=	yes
-
 USE_GITHUB=	yes
 GH_ACCOUNT=	arminbiere
 
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index eceab4b7f0d7..1e28c6d91a28 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1675723942
-SHA256 (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 230895b3beaec5f2c78f6cc520a7db94b294edf244cbad37e2ee6a8a63bd7bdf
-SIZE (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 466704
+TIMESTAMP = 1687668870
+SHA256 (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = e85c757179bf7d96d21d2d6e3f0a8f2337d416b0e13ae065a9a8d52e30048bd3
+SIZE (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = 470710