From nobody Sun Aug 25 16:47:07 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 4WsKTm04Wxz5T7M1; Sun, 25 Aug 2024 16:47:08 +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 4WsKTl6Xwlz4tLQ; Sun, 25 Aug 2024 16:47:07 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1724604427; 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=Rzk3fIVRrQrS7tj78KmWpRrMkr8pf/YvB2L6RJnrr7I=; b=KC0GyJd2i37JNYU3lkl69oFvfzXLO9fnyFYm/QoODizRH0jaS4PZKUS7M+yZp6JKFFR0VR OQiO5RqR/94Vn7RGAPVysKQpb0kE81u4BPvm0fDAgVwdmNnwDjYNBidGEapn1GHFR7dYdU kgOdc8OyyW4GxQ/egQNkT2+SHPqHsRBEQQbClANrOXWgqDn9rYjXmhXKAdSytvyuoZzUsi OIaadYHSUoUYgZClqPJEGnNTb+zqN2SQPC7AEyF+hTujmnBl1qRVenzdzzETftVOUAY+x7 4Haf7xmGE/TTYY0JZDezadAAxFdIQjewb5DG12c8Tfy/4aOMxGhqYIAzkRHqcA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1724604427; a=rsa-sha256; cv=none; b=WsFkazuSCRIyj4shT0ANgEnUtUSRWXAs9+fuJ/0MFODmLvO9uPC99foXF/htNH6sPpxoYE mLs7JePgPd7CMzhP1AACIYMTkX6dysT7eC2AIhIzrUfq2bzcqRn/41Jj9Qv+B/Wfc4EFRC Gu/9HXVl+01Kt34dQFySBNnijytu7vLrRUMLo7kVdOkqghMuoyxFFGPVHmIYs9mayO3ajO sTA18z6uCRbDT5rQzRbbNRe2RFK8imJcdF28Duzi4aE7quG9vMdsSK7pHjaq0GXPFFedms iUK4WcHB5syR7jfHbtUpJ8ZBE6fCiscaKh/hox9oPeM9ULoRIgAWowQI45h+6g== 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=1724604427; 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=Rzk3fIVRrQrS7tj78KmWpRrMkr8pf/YvB2L6RJnrr7I=; b=NqTbfzqyujHcFtybBzY3BAmroXLJf8YKzPk1C2Cf8T9xJXevTgzCpKLW4iuI3UwQl1T1g9 uBo2HBs4SaX3vaNglmVKgFCCwDg/HLqxDwA2QlaMFdhbiN+lLzfdoocwlFcIgNGeSna6pQ MqY/KUO3Ek+HCMj7S/TeHS0W/QiYTbJJJdba3XGSGkCRMbCyqsvIlQzMvJGlJ7CSfO7Q11 exXdmnpHqVlm8KuUezC7QWzj/8MwqpqLNkAteVcf7diWHQ1xhfz+0Chj/P9PJr36wcQ1h2 L6il550z5cMG5HQMDfxdEGhEEDPW9sC/wxattSoHq1qoFM8f3UbjIa7cBvM7mQ== 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 4WsKTl66LhzWB8; Sun, 25 Aug 2024 16:47:07 +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 47PGl7d0062640; Sun, 25 Aug 2024 16:47:07 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 47PGl74Z062637; Sun, 25 Aug 2024 16:47:07 GMT (envelope-from git) Date: Sun, 25 Aug 2024 16:47:07 GMT Message-Id: <202408251647.47PGl74Z062637@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: 15bcda7d0c16 - main - math/boolector: update 3.2.3 =?utf-8?Q?=E2=86=92?= 3.2.4 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: 15bcda7d0c16cb63cc4d2014091cd944cf2097eb Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=15bcda7d0c16cb63cc4d2014091cd944cf2097eb commit 15bcda7d0c16cb63cc4d2014091cd944cf2097eb Author: Yuri Victorovich AuthorDate: 2024-08-25 15:50:50 +0000 Commit: Yuri Victorovich CommitDate: 2024-08-25 16:47:01 +0000 math/boolector: update 3.2.3 → 3.2.4 Reported by: portscout --- math/boolector/Makefile | 3 +-- math/boolector/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 53f83ee9bdf0..2450bea7df94 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -1,6 +1,5 @@ PORTNAME= boolector -DISTVERSION= 3.2.3 -PORTREVISION= 1 +DISTVERSION= 3.2.4 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/boolector/distinfo b/math/boolector/distinfo index 82ff383ccada..2c57e639c6f0 100644 --- a/math/boolector/distinfo +++ b/math/boolector/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1699204051 -SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9 -SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566 +TIMESTAMP = 1724577355 +SHA256 (Boolector-boolector-3.2.4_GH0.tar.gz) = 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf +SIZE (Boolector-boolector-3.2.4_GH0.tar.gz) = 1567983