git: bc7bba7f5c28 - main - devel/cbmc: update to 6.10.0

The branch main has been updated by olivier:

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

commit bc7bba7f5c28bccccff75163d28c7e2f67aaf69d
Author:     Olivier Cochard <olivier@FreeBSD.org>
AuthorDate: 2026-07-07 23:19:51 +0000
Commit:     Olivier Cochard <olivier@FreeBSD.org>
CommitDate: 2026-07-07 23:36:51 +0000

    devel/cbmc: update to 6.10.0
---
 devel/cbmc/Makefile  | 3 +--
 devel/cbmc/distinfo  | 6 +++---
 devel/cbmc/pkg-plist | 2 +-
 3 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/devel/cbmc/Makefile b/devel/cbmc/Makefile
index 9dab943a9d27..6a38e2442a71 100644
--- a/devel/cbmc/Makefile
+++ b/devel/cbmc/Makefile
@@ -1,7 +1,6 @@
 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
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
@@ -16,7 +16,7 @@ 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