git: af2f79a0a6d4 - main - math/bitwuzla: Update WWW; Add comment

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Wed, 05 Nov 2025 06:57:52 UTC

The branch main has been updated by yuri:

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

commit af2f79a0a6d4666fd8d344fdf54b17e0b82d053d
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-11-05 04:56:09 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-11-05 06:57:36 +0000

    math/bitwuzla: Update WWW; Add comment
---
 math/bitwuzla/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile
index 63387ea1b148..47794503573c 100644
--- a/math/bitwuzla/Makefile
+++ b/math/bitwuzla/Makefile
@@ -1,11 +1,12 @@
-PORTNAME=	bitwuzla
+PORTNAME=	bitwuzla # successor of Boolector
 DISTVERSION=	0.7.0
 PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SMT solver for the theories of fixed-size bit-vectors
-WWW=		https://bitwuzla.github.io/
+WWW=		https://bitwuzla.github.io/ \
+		https://github.com/bitwuzla/bitwuzla
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING