From 5a55735fc3fe4c5d0c90eec29e6295b271daf14f Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sat, 24 Jun 2023 22:02:08 -0700 Subject: [PATCH] =?UTF-8?q?math/kissat:=20Update=203.0.0=20=E2=86=92=203.1?= =?UTF-8?q?.0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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