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