diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 566c591db89b..7791bd04a7f8 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,93 +1,94 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.0.8
-PORTREVISION=	1
+DISTVERSION=	1.1.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/
 
 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 f98288404c52..475cdbd10b3d 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,5 +1,3 @@
-TIMESTAMP = 1694965126
-SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7
-SIZE (antlr-3.4-complete.jar) = 2388361
-SHA256 (cvc5-cvc5-cvc5-1.0.8_GH0.tar.gz) = 9b61c6e27609db154657f105d7271a03b7798047b3aab1ca2ab58910fac788ba
-SIZE (cvc5-cvc5-cvc5-1.0.8_GH0.tar.gz) = 8393754
+TIMESTAMP = 1704605131
+SHA256 (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 701a1a6b35b5f06d8f0d812ab97896c8e69c2d48076c0dae8e27a9fa0dbc5829
+SIZE (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 8496968
diff --git a/math/cvc5/pkg-plist b/math/cvc5/pkg-plist
index 9cf6f348cfe8..1edc774c45d2 100644
--- a/math/cvc5/pkg-plist
+++ b/math/cvc5/pkg-plist
@@ -1,18 +1,19 @@
 bin/cvc5
 include/cvc5/cvc5.h
 include/cvc5/cvc5_export.h
 include/cvc5/cvc5_kind.h
 include/cvc5/cvc5_parser.h
+include/cvc5/cvc5_proof_rule.h
 include/cvc5/cvc5_types.h
 lib/cmake/cvc5/cvc5Config.cmake
 lib/cmake/cvc5/cvc5ConfigVersion.cmake
 lib/cmake/cvc5/cvc5JavaTargets.cmake
 lib/cmake/cvc5/cvc5Targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/cvc5/cvc5Targets.cmake
 lib/libcvc5.so
 lib/libcvc5.so.1
 %%JAVA%%lib/libcvc5jni.so
 lib/libcvc5parser.so
 lib/libcvc5parser.so.1
-%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.8.jar
+%%JAVA%%%%JAVASHAREDIR%%/cvc5-%%VERSION%%.jar
 %%JAVA%%%%JAVASHAREDIR%%/cvc5.jar