Date: Sun, 5 Nov 2023 18:23:55 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: 73ab6e5f8ba5 - main - math/kissat: update 3.1.0 =?utf-8?Q?=E2=86=92?= 3.1.1 Message-ID: <202311051823.3A5INtP8021616@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=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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202311051823.3A5INtP8021616>