diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 7791bd04a7f8..09677957638d 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,94 +1,94 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.1.0
+DISTVERSION=	1.1.1
 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/
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	bash:shells/bash \
 		${LOCALBASE}/lib/libcadical.a:math/cadical \
 		${LOCALBASE}/lib/symfpu.a:math/symfpu \
 		${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}tomli>0:textproc/py-tomli@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR}
 LIB_DEPENDS=	libantlr3c.so:devel/libantlr3c \
 		libboost_system.so:devel/boost-libs
 
 USES=		cmake:testing ncurses compiler:c++17-lang \
 		localbase:ldflags pkgconfig python:build
 USE_LDCONFIG=	yes
 USE_GITHUB=	yes
 
 USE_JAVA=	yes
 JAVA_BUILD=	yes
 
 CMAKE_BUILD_TYPE=	Production
 CMAKE_ARGS+=		-DFREEBSD_DISTDIR=${DISTDIR} \
 			-DPython_EXECUTABLE:STRING=${PYTHON_CMD}
 CMAKE_ON=		BUILD_SHARED_LIBS
 CMAKE_OFF=		BUILD_BINDINGS_PYTHON USE_PYTHON3 # Python binding should be a separate port
 CMAKE_TESTING_ON=	ENABLE_UNIT_TESTING
 CMAKE_TESTING_TARGET=	check # check target runs only quick tests (based on https://github.com/cvc5/cvc5/issues/9569#issuecomment-1484943348)
 #CMAKE_TESTING_TARGET=	test # test target also runs longer tests, 2 of which fail, see https://github.com/cvc5/cvc5/issues/9569
 
 PLIST_SUB=		VERSION=${DISTVERSION}
 
 OPTIONS_DEFINE=			COCOALIB EDITLINE JAVA
 OPTIONS_GROUP=			SOLVERS
 OPTIONS_GROUP_SOLVERS=		CRYPTOMINISAT KISSAT
 OPTIONS_RADIO=			NUMLIB
 OPTIONS_RADIO_NUMLIB=		GMP CLN
 OPTIONS_DEFAULT=		CRYPTOMINISAT EDITLINE JAVA GMP # COCOALIB KISSAT
 OPTIONS_SUB=			yes
 
 COCOALIB_DESC=			Use CoCoALib for further polynomial operations
 COCOALIB_CMAKE_BOOL=		USE_COCOA
 COCOALIB_BROKEN=		fails to compile with cocoalib, see https://github.com/cvc5/cvc5/issues/9484
 
 JAVA_CMAKE_BOOL=		BUILD_BINDINGS_JAVA
 JAVA_CMAKE_ON=			-DJAVA_INCLUDE_PATH:PATH=${JAVA_HOME}/include \
 				-DJAVA_AWT_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjawt.so \
 				-DJAVA_JVM_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ATCH}/libjava.so
 JAVA_BUILD_DEPENDS=		swig:devel/swig
 
 EDITLINE_DESC=			Use Editline for better interactive support
 EDITLINE_CMAKE_BOOL=		USE_EDITLINE
 EDITLINE_BUILD_DEPENDS=		libedit>0:devel/libedit
 EDITLINE_RUN_DEPENDS=		libedit>0:devel/libedit
 
 # SOLVERS options
 
 CRYPTOMINISAT_DESC=		Use CryptoMiniSat as the SAT solver
 CRYPTOMINISAT_CMAKE_BOOL=	USE_CRYPTOMINISAT
 CRYPTOMINISAT_LIB_DEPENDS=	libcryptominisat5.so:math/cryptominisat
 
 KISSAT_DESC=			Use Kissat solver
 KISSAT_CMAKE_BOOL=		USE_KISSAT
 KISSAT_BROKEN=			fails to link with libkissat.so, see https://github.com/cvc5/cvc5/issues/9483
 
 # NUMLIB options
 
 GMP_DESC=			Use GMP numeric library
 GMP_LIB_DEPENDS=		libgmp.so:math/gmp
 
 CLN_DESC=			Use CLN numeric library
 CLN_CMAKE_BOOL=			USE_CLN
 CLN_LIB_DEPENDS=		libcln.so:math/cln \
 				libgmp.so:math/gmp
 
 .include <bsd.port.options.mk>
 
 .if ${PORT_OPTIONS:MCLN}
 LICENSE=		GPLv3
 CMAKE_ARGS+=		-DENABLE_GPL:BOOL=ON
 .endif
 
 PORTSCOUT=	limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
 
 .include <bsd.port.mk>
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index 475cdbd10b3d..57704b6fe263 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1704605131
-SHA256 (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 701a1a6b35b5f06d8f0d812ab97896c8e69c2d48076c0dae8e27a9fa0dbc5829
-SIZE (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 8496968
+TIMESTAMP = 1706328638
+SHA256 (cvc5-cvc5-cvc5-1.1.1_GH0.tar.gz) = 4747502675a778d4bf5ae9590adff0c3a8258b1198098cc39ac537b0cc7802cd
+SIZE (cvc5-cvc5-cvc5-1.1.1_GH0.tar.gz) = 8509343