From nobody Mon Sep 16 07:48:52 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4X6cVX4d6mz5Wfnl; Mon, 16 Sep 2024 07:48:52 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4X6cVX417jz4NwV; Mon, 16 Sep 2024 07:48:52 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1726472932; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=do1Y/BMQ1IG3gYiEuO1O/8BBlgj0O142WfmSLE+4LeM=; b=KD2y4MOH3tR4qPqFpwyD/j3UxcYTpmr6MaAUJKVLDaL/k9NWxQP3Gj7Rgj3Bj9iSEzez7F INmyuz/z+qJpwzAT3axfXm07aKTstjpArN3VSxUxgFfVtTkvyESSIeEcL5nAXRW79ziwvh YEBXaE52HOyY/NN62F2fgjxcD6+CrujVoni0iRePIGofjRCBkBdNepz7Fwjoo8noumCIsF f8evl2Xu5G/x4VtNTjtv3P29oSPY8Ggb6gmHY7lA8njRPw+5zmCHYxd6dZLyCNU9vqeIDm +135PuAA68YSnkHYZJ1e8qSghan+dm896i3LO7ZRhDWcbZNweIpi4dLWhid9qg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1726472932; a=rsa-sha256; cv=none; b=Rd3kE0xbCv+9mDS6vHQuVg0opv8XPDJVkvarVWGJ636p0XR9Z9tGO3tUooWdHvoOzXFV4H 0hkwVCaXJBjDhYWaEKGGtEViU8Mp1Dt0uYoLZ06BXvCvS3Mkzqb2Y9wYxv4/hC/YDfc1gR D/tQe6PcKRebMGB90k4oaX7W7I17zYhTKMYKfHAs0kcU9A1E9vb5ZSYKfj8kPICwesra+N 30RaYygrE8l6Ze0ZBMXa//LKxgGSJKJ045D7RYHe135tJRTz+NeRFYuLOnU0UdnMJ8Sk37 m7dLGngVnbm+J8HGT40SICGlr7R+JQoHVty92XjdbW+svbR1hfD8XiFCs/gfTg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1726472932; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=do1Y/BMQ1IG3gYiEuO1O/8BBlgj0O142WfmSLE+4LeM=; b=Hiafs2Q5vkUkaTEL8IG7mBnFDMxhJJpCB1tex+KbmJ4et0OhybAlsbd5P9JyULZz+Qyw7D R/e3Qy5ruP+fZNcnO/NT4r3qb9eIyIwX+wcE++FxcVRYkzlUEiih7BzqxxeeV7hS3PqYPW 29ymHlwS6nJHeExMTp1ReAhQ5fOgfIi6iNNvl858vbYm+HIMhKezJw6RFlJSo/5tuekhc6 iMdKwSXNz1t6lM4kVY5/ZnKEwHTyjyai3Q9g1I+0GjJcDwyNCxshWxk3AawD0yLqZz/p/x n8t0j1Jero0/+ESGhmIg7sdFyAvMcorBWsrXvtpQKwjt6EvevmO5P47GzBNmzQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4X6cVX3Yx3zm0N; Mon, 16 Sep 2024 07:48:52 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 48G7mq2Q075469; Mon, 16 Sep 2024 07:48:52 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 48G7mq9d075466; Mon, 16 Sep 2024 07:48:52 GMT (envelope-from git) Date: Mon, 16 Sep 2024 07:48:52 GMT Message-Id: <202409160748.48G7mq9d075466@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 6e6768a3a69c - main - math/kissat: update 4.0.0 =?utf-8?Q?=E2=86=92?= 4.0.1 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 6e6768a3a69c648befd446af9c855a85bc392abc Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=6e6768a3a69c648befd446af9c855a85bc392abc commit 6e6768a3a69c648befd446af9c855a85bc392abc Author: Yuri Victorovich AuthorDate: 2024-09-16 06:48:39 +0000 Commit: Yuri Victorovich 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