CVS commit: pkgsrc/doc

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Oct 17 16:58:31 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026

Log Message:
Added devel/cbmc version 6.10.0.


To generate a diff of this commit:
cvs rdiff -u -r1.7054 -r1.7055 pkgsrc/doc/CHANGES-2026

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/doc/CHANGES-2026
diff -u pkgsrc/doc/CHANGES-2026:1.7054 pkgsrc/doc/CHANGES-2026:1.7055
--- pkgsrc/doc/CHANGES-2026:1.7054      Sat Oct 17 16:53:44 2026
+++ pkgsrc/doc/CHANGES-2026     Sat Oct 17 16:58:31 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.7054 2026/10/17 16:53:44 wiz Exp $
+$NetBSD: CHANGES-2026,v 1.7055 2026/10/17 16:58:31 alnsn Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -10564,3 +10564,4 @@ Changes to the packages collection and i
        Updated devel/opa to 1.21.2 [leot 2026-10-17]
        Updated math/ggml to 0.27.0 [wiz 2026-10-17]
        Updated devel/ast-grep to 0.51.0 [wiz 2026-10-17]
+       Added devel/cbmc version 6.10.0 [alnsn 2026-10-17]