CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Nov  8 14:22:27 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026

Log Message:
Revbump of cvc5.

(Not sure if revbumps should be added to CHANGES-* files.)


To generate a diff of this commit:
cvs rdiff -u -r1.7766 -r1.7767 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.7766 pkgsrc/doc/CHANGES-2026:1.7767
--- pkgsrc/doc/CHANGES-2026:1.7766      Sun Nov  8 14:20:54 2026
+++ pkgsrc/doc/CHANGES-2026     Sun Nov  8 14:22:26 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.7766 2026/11/08 14:20:54 taca Exp $
+$NetBSD: CHANGES-2026,v 1.7767 2026/11/08 14:22:26 alnsn Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -11570,3 +11570,4 @@ Changes to the packages collection and i
        Updated math/cadical to 2.1.3nb1 [alnsn 2026-11-08]
        Updated www/ruby-patron to 1.1.0 [taca 2026-11-08]
        Updated www/ruby-rails-html-sanitizer to 1.7.2 [taca 2026-11-08]
+       Updated math/cvc5 to 1.4.0nb1 [alnsn 2026-11-08]