diff options
| author | Olivier Cochard <olivier@FreeBSD.org> | 2026-07-07 23:19:51 +0000 |
|---|---|---|
| committer | Olivier Cochard <olivier@FreeBSD.org> | 2026-07-07 23:36:51 +0000 |
| commit | bc7bba7f5c28bccccff75163d28c7e2f67aaf69d (patch) | |
| tree | 5eb8f6c00ae3f2314a8e090dc4641449e2e3e638 | |
| parent | 0bb66628bb0e01351e8721d4936e933bf3332135 (diff) | |
devel/cbmc: update to 6.10.0
| -rw-r--r-- | devel/cbmc/Makefile | 3 | ||||
| -rw-r--r-- | devel/cbmc/distinfo | 6 | ||||
| -rw-r--r-- | 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 |