git: 2cae0a19521f - main - math/cvc5: update 1.2.0 → 1.2.1

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 28 Jan 2025 05:59:23 UTC 
The branch main has been updated by yuri:

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

commit 2cae0a19521f3fa600c03da84d60d8766d07ce53
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-01-28 05:58:21 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-01-28 05:59:13 +0000

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

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 07fd137077bf..c91f05e104a1 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.2.0
+DISTVERSION=	1.2.1
 CATEGORIES=	math java
 EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index 23bf8da3445a..effa474fad01 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1723346538
-SHA256 (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e
-SIZE (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 8916450
+TIMESTAMP = 1738036883
+SHA256 (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 01197ca37a810bce418ae98a44dbb3348697554582395300a09c85d7af182d69
+SIZE (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 9045038