git: 71afe89b3212 - main - math/cvc5: update 1.2.1 → 1.3.0

The branch main has been updated by yuri:

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

commit 71afe89b321270737e261159f78933b6cd0dd7c3
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-06-19 15:52:16 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-06-19 15:52:37 +0000

    math/cvc5: update 1.2.1 → 1.3.0
    
    Reported by:    portscout
---
 math/cvc5/Makefile | 6 ++++--
 math/cvc5/distinfo | 6 +++---
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index c91f05e104a1..dd800f743ae5 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,12 +1,13 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.2.1
+DISTVERSION=	1.3.0
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Automatic theorem prover for SMT (Satisfiability Modulo Theories)
-WWW=		https://cvc5.github.io/
+WWW=		https://cvc5.github.io/ \
+		https://github.com/cvc5/cvc5
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/COPYING
@@ -92,5 +93,6 @@ PORTSCOUT=	limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like
 
 # some tests are skipped without any explanation, see https://github.com/cvc5/cvc5/issues/10456
 # test interactive_shell_define_fun_rec_multiline fails, see https://github.com/cvc5/cvc5/issues/11146
+# tests as of 1.3.0: 99% tests passed, 1 tests failed out of 4040, see https://github.com/cvc5/cvc5/issues/11996
 
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index effa474fad01..2b00e52e64b7 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1738036883
-SHA256 (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 01197ca37a810bce418ae98a44dbb3348697554582395300a09c85d7af182d69
-SIZE (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 9045038
+TIMESTAMP = 1750308675
+SHA256 (cvc5-cvc5-cvc5-1.3.0_GH0.tar.gz) = 8747e449bdbb2264ccf7404fdf960977057a18de7f70c5e3b738847210e4065a
+SIZE (cvc5-cvc5-cvc5-1.3.0_GH0.tar.gz) = 9163706