From nobody Sun Jun 29 22:04:36 2025 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 4bVjxx2g2bz60kVr; Sun, 29 Jun 2025 22:04:37 +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 "R10" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4bVjxw43d7z3JY2; Sun, 29 Jun 2025 22:04:36 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1751234676; 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=RsGs7En/t5UhvaH6Yha9cJK55GVsVYvR3yVBF47cV64=; b=mQHklLph+o3Y5AdwiZP5AR0dut5EoOdOiyN089MDT+KIJn5XkxuBtfQLWgsHMNFdvGXzYj q/cQaIjGKBItzEAHkFqMDdTuDyOydEW0etKwJoKOx5nYz56rSR4apuN8SIADlZYsPbsF3o TXMr+XiIxCsx839FTCkfjPprllvRYGiI452oOI1IHK3Zwby128rSfj5jOzeYQqLHqZAgSs CxMrc+nhQe7PpDHWwzyhVYp22VII4yKbqdMFMHxNhyXlK3eFJnCX+6wjCfQsEM5/upIRNS 9XZfaDNArGRujmnnezHsmPXB1i1w/incO0QoF0cbsUoD+OFvfsKRkCsJaqd9lQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1751234676; 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=RsGs7En/t5UhvaH6Yha9cJK55GVsVYvR3yVBF47cV64=; b=Ddzs2bOCVGuI31XqvNaBfxFvF1BlEYYsBDNGBSH9eDaomkCz/g5SLH8vU0PBgchH7F6Bqv 9HHs3sK5E2r51PlgoD/3vFFWOWFhy0cxLpf2J6xVx33xd+kqe+HX1g3kjeZk2BOSmEHEIS MdL+xbsudcbGKh/Q2dc3HpMd4qbZRqYJhyyBq0LcnfxC6bsAz2oEZzNnE5QsUXbqK0BD6T ra+B0+pa+SJli8iT8w8+b5uoP1t79TiC8U2INUDs2pojfDLWb6e2FLugfkM4sy1hFzeEto x9oI/VLSko3wYj4Iw0BBb+bXFNPgWHQ4ef/E5qbD8zGXk9JI+fQx9Y1g5cA9rQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1751234676; a=rsa-sha256; cv=none; b=QsWfycjtBVxx3klxYYQRglxWM0yQv5BisPRJ67DiGIqFnE5dp3uFd5Tf7XIw9SkMIgux0p 6IeUU0Vw3frzNNuW3qsXnGgVz5SOMXopAkW1eks2fAvnHeYN1uUUwIPobJeuHF44miMFpA kRiXiaqnah+GsBSNuOhW8KRDosMwJAqNRxhf+GR+zAIqDXZoQvB6h9wI5qMFUcYd1pcuLS KLqToSPNUoLsivUE22lU2FB89AXATGowf2DzZzE8ToEv5wfk9q2BtRQMqPyztIOjb7ZuNb 9pl3kpFiO5XU7ccLPg+Z4KKFNS5FAlAFLwoAjvdCqR+Bqc8b//QbISkyW6Ij8w== 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 4bVjxw3fWPzdMh; Sun, 29 Jun 2025 22:04:36 +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 55TM4a1u032642; Sun, 29 Jun 2025 22:04:36 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 55TM4aWq032639; Sun, 29 Jun 2025 22:04:36 GMT (envelope-from git) Date: Sun, 29 Jun 2025 22:04:36 GMT Message-Id: <202506292204.55TM4aWq032639@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: 4850823a295a - main - =?utf-8?Q?math/kissat: update 4.0.2 =E2=86=92 4.0.3?= 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: 4850823a295a45fcbb12fbc90031fbeea13fc05c Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=4850823a295a45fcbb12fbc90031fbeea13fc05c commit 4850823a295a45fcbb12fbc90031fbeea13fc05c Author: Yuri Victorovich AuthorDate: 2025-06-29 22:04:01 +0000 Commit: Yuri Victorovich CommitDate: 2025-06-29 22:04:28 +0000 math/kissat: update 4.0.2 → 4.0.3 Reported by: portscout --- math/kissat/Makefile | 4 ++-- math/kissat/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/math/kissat/Makefile b/math/kissat/Makefile index 2605eb1b397f..a2c35fe559ff 100644 --- a/math/kissat/Makefile +++ b/math/kissat/Makefile @@ -1,6 +1,6 @@ PORTNAME= kissat DISTVERSIONPREFIX= rel- -DISTVERSION= 4.0.2 +DISTVERSION= 4.0.3 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -48,6 +48,6 @@ do-install: # https://github.com/arminbiere/kissat/issues/62 ${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib ${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib -# tests as of 4.0.2: All 1043 test jobs succeeded in 2.35 seconds. +# tests as of 4.0.3: All 1043 test jobs succeeded in 6.65 seconds. .include diff --git a/math/kissat/distinfo b/math/kissat/distinfo index 8e523b8b6848..5616f9414e86 100644 --- a/math/kissat/distinfo +++ b/math/kissat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1737785441 -SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7 -SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941 +TIMESTAMP = 1751232358 +SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 +SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881