Skip site navigation (1)Skip section navigation (2) 
Date:      Tue, 26 May 2026 16:30:16 +0000
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: 838ae2f761de - main - math/bitwuzla: update 0.9=?utf-8?Q?=2E0 =E2=86=92 0?=.9.1
Message-ID:  <6a15ca98.32fe5.6381a27c@gitrepo.freebsd.org>
index | next in thread | raw e-mail 

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=838ae2f761de02498e923467d76eb72e7e9954fb

commit 838ae2f761de02498e923467d76eb72e7e9954fb
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-05-26 14:51:54 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-05-26 16:30:11 +0000

    math/bitwuzla: update 0.9.0 → 0.9.1
---
 math/bitwuzla/Makefile | 9 ++++++++-
 math/bitwuzla/distinfo | 6 +++---
 2 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile
index 48e9f97db5a1..8a2c481c0b53 100644
--- a/math/bitwuzla/Makefile
+++ b/math/bitwuzla/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	bitwuzla # successor of Boolector
-DISTVERSION=	0.9.0
+DISTVERSION=	0.9.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -46,4 +46,11 @@ do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117
 # Timeout:            0
 # Timeout:            0
 
+# tests as of 0.9.1:
+# Summary of Failures:
+#   77/4260 unit+fp - bitwuzla:fp_fp_from                                                            FAIL             1.23s   exit status 1
+# 
+#   Ok:                4259
+#   Fail:              1   
+
 .include <bsd.port.mk>
diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo
index c3583c56387c..d69d13be086c 100644
--- a/math/bitwuzla/distinfo
+++ b/math/bitwuzla/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1773732799
-SHA256 (bitwuzla-bitwuzla-0.9.0_GH0.tar.gz) = e15420eaaef586c0d02d4b46cf3bdf203ba2511147b0decab99a9df9c9f115ca
-SIZE (bitwuzla-bitwuzla-0.9.0_GH0.tar.gz) = 2494794
+TIMESTAMP = 1779806763
+SHA256 (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4
+SIZE (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 2507441
home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a15ca98.32fe5.6381a27c>