Skip site navigation (1)Skip section navigation (2) 
Date:      Sun, 01 Mar 2026 08:48:31 +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: d3a692e0b43c - main - math/cvc5: update 1.=?utf-8?Q?3.2 =E2=86=92?= 1.3.3
Message-ID:  <69a3fd5f.1d2f8.9cdfae8@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=d3a692e0b43c5fc487fcdef72c16d9228cd5a454

commit d3a692e0b43c5fc487fcdef72c16d9228cd5a454
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-03-01 07:38:53 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-03-01 08:48:17 +0000

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

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index ec88a324565d..231e39efe1fc 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.3.2
+DISTVERSION=	1.3.3
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
@@ -102,7 +102,6 @@ CMAKE_ARGS+=		-DENABLE_GPL:BOOL=ON
 
 PORTSCOUT=	limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
 
-# tests as of 1.3.1: 1 test fails, see https://github.com/cvc5/cvc5/issues/12215
-# tests as of 1.3.2: 100% tests passed, 0 tests failed out of 4115, see https://github.com/cvc5/cvc5/issues/12215
+# tests as of 1.3.3: 100% tests passed, 0 tests failed out of 4177
 
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index c8a1488c0525..1a033b978986 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1765845301
-SHA256 (cvc5-cvc5-cvc5-1.3.2_GH0.tar.gz) = 85a9cc4e1f80efcdb235e89c9f361c74b1089023ceb43f38c2d5e73a4e2db47e
-SIZE (cvc5-cvc5-cvc5-1.3.2_GH0.tar.gz) = 9250970
+TIMESTAMP = 1772349925
+SHA256 (cvc5-cvc5-cvc5-1.3.3_GH0.tar.gz) = 7eeeb65a6c5bfe985a6b3fc7938b87709bbc0e3f72d661b1d0587d4173ad9b33
+SIZE (cvc5-cvc5-cvc5-1.3.3_GH0.tar.gz) = 9241613
home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69a3fd5f.1d2f8.9cdfae8>