CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Fri Sep 18 22:08:57 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026

Log Message:
Updated math/cvc5 to 1.4.0.


To generate a diff of this commit:
cvs rdiff -u -r1.6144 -r1.6145 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.6144 pkgsrc/doc/CHANGES-2026:1.6145
--- pkgsrc/doc/CHANGES-2026:1.6144      Fri Sep 18 20:02:52 2026
+++ pkgsrc/doc/CHANGES-2026     Fri Sep 18 22:08:57 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.6144 2026/09/18 20:02:52 drixter Exp $
+$NetBSD: CHANGES-2026,v 1.6145 2026/09/18 22:08:57 alnsn Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -9322,3 +9322,4 @@ Changes to the packages collection and i
        Updated www/wikid to 3.2.2 [pin 2026-09-18]
        Updated sysutils/yazi to 26.9.1 [pin 2026-09-18]
        Updated www/resterm to 1.8.2 [drixter 2026-09-18]
+       Updated math/cvc5 to 1.4.0 [asnsn 2026-09-18]