Date: Sun, 25 Jun 2023 07:04:00 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: 5a55735fc3fe - main - =?utf-8?Q?math/kissat:=20Update=203.0.0=20=E2=86=92=203.1.0?= Message-ID: <202306250704.35P740hj097688@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=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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202306250704.35P740hj097688>