diff --git a/devel/cbmc/Makefile b/devel/cbmc/Makefile
index 9dab943a9d27..6a38e2442a71 100644
--- a/devel/cbmc/Makefile
+++ b/devel/cbmc/Makefile
@@ -1,50 +1,49 @@
 PORTNAME=	cbmc
 DISTVERSIONPREFIX=	cbmc-
-DISTVERSION=	6.9.0
-PORTREVISION=	1
+DISTVERSION=	6.10.0
 CATEGORIES=	devel
 MASTER_SITES=	DEBIAN/pool/main/m/minisat2:minisat
 DISTFILES=	minisat2_2.2.1.orig.tar.gz:minisat
 
 MAINTAINER=	olivier@FreeBSD.org
 COMMENT=	Bounded Model Checker for C and C++ programs
 WWW=		https://github.com/diffblue/cbmc
 
 LICENSE=	BSD4CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BUILD_DEPENDS=	flex:textproc/flex \
 		bash:shells/bash \
 		git:devel/git@lite \
 		jq:textproc/jq
 RUN_DEPENDS=	cvc5:math/cvc5 \
 		z3:math/z3
 
 USES=		cmake bison python shebangfix perl5
 USE_PERL5=	build
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	diffblue
 SHEBANG_FILES=	${WRKSRC}/scripts/ls_parse.py
 
 CMAKE_OFF=	WITH_JBMC
 
 .include <bsd.port.pre.mk>
 
 # Pre-llvm-21.1.8 clang flags bundled catch.hpp's zero-arg variadic macros
 # under -Wc++20-extensions; project's -Wpedantic -Werror in CMakeLists comes
 # after CMAKE_CXX_FLAGS, so patch the silencer in there directly.
 .if ${OSVERSION} < 1600017
 post-patch:
 	${REINPLACE_CMD} -e 's|-Wno-deprecated-declarations")|-Wno-deprecated-declarations -Wno-c++20-extensions")|' \
 		${WRKSRC}/CMakeLists.txt
 .endif
 
 pre-extract:
 	${MKDIR} ${BUILD_WRKSRC}/minisat2-download/minisat2-download-prefix/src
 	${CP} ${DISTDIR}/minisat2_2.2.1.orig.tar.gz ${BUILD_WRKSRC}/minisat2-download/minisat2-download-prefix/src/
 
 do-test:
 	cd ${BUILD_WRKSRC} && ctest . -V -L CORE
 
 .include <bsd.port.post.mk>
diff --git a/devel/cbmc/distinfo b/devel/cbmc/distinfo
index 169a9728240a..5678e9a97a35 100644
--- a/devel/cbmc/distinfo
+++ b/devel/cbmc/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1781965816
+TIMESTAMP = 1783440690
 SHA256 (minisat2_2.2.1.orig.tar.gz) = e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40
 SIZE (minisat2_2.2.1.orig.tar.gz) = 44229
-SHA256 (diffblue-cbmc-cbmc-6.9.0_GH0.tar.gz) = 05bb5719273edba6e01842dfbc63349fc38f6774bd39074887e1fcec867c92ca
-SIZE (diffblue-cbmc-cbmc-6.9.0_GH0.tar.gz) = 9239653
+SHA256 (diffblue-cbmc-cbmc-6.10.0_GH0.tar.gz) = ecedafbe5ac25f520a065abd36f900b80d48627c30e141fa83bbdaa400e6bdf7
+SIZE (diffblue-cbmc-cbmc-6.10.0_GH0.tar.gz) = 9162298
diff --git a/devel/cbmc/pkg-plist b/devel/cbmc/pkg-plist
index 65eae537b7f4..fc0964aca2bd 100644
--- a/devel/cbmc/pkg-plist
+++ b/devel/cbmc/pkg-plist
@@ -1,30 +1,30 @@
 bin/cbmc
 bin/cprover
 bin/crangler
 bin/goto-analyzer
 bin/goto-cc
 bin/goto-diff
 bin/goto-gcc
 bin/goto-harness
 bin/goto-inspect
 bin/goto-instrument
 bin/goto-ld
 bin/goto-synthesizer
 bin/ls_parse.py
 bin/symtab2gb
 etc/bash_completion.d/cbmc
 include/cprover/api.h
 include/cprover/api_options.h
 include/cprover/verification_result.h
-lib/libcprover.6.9.0.a
+lib/libcprover.6.10.0.a
 share/man/man1/cbmc.1.gz
 share/man/man1/crangler.1.gz
 share/man/man1/goto-analyzer.1.gz
 share/man/man1/goto-cc.1.gz
 share/man/man1/goto-diff.1.gz
 share/man/man1/goto-gcc.1.gz
 share/man/man1/goto-harness.1.gz
 share/man/man1/goto-instrument.1.gz
 share/man/man1/goto-ld.1.gz
 share/man/man1/goto-synthesizer.1.gz
 share/man/man1/symtab2gb.1.gz