CVS commit: pkgsrc/doc

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Thu Sep 17 13:45:12 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026 TODO

Log Message:
doc: Updated math/yices2 to 2.7.0


To generate a diff of this commit:
cvs rdiff -u -r1.6128 -r1.6129 pkgsrc/doc/CHANGES-2026
cvs rdiff -u -r1.27928 -r1.27929 pkgsrc/doc/TODO

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.6128 pkgsrc/doc/CHANGES-2026:1.6129
--- pkgsrc/doc/CHANGES-2026:1.6128      Thu Sep 17 13:27:59 2026
+++ pkgsrc/doc/CHANGES-2026     Thu Sep 17 13:45:12 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.6128 2026/09/17 13:27:59 wiz Exp $
+$NetBSD: CHANGES-2026,v 1.6129 2026/09/17 13:45:12 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -9306,3 +9306,4 @@ Changes to the packages collection and i
        Updated editors/vim-share to 9.2.1116 [morr 2026-09-16]
        Updated devel/libextractor to 1.15 [wiz 2026-09-16]
        Updated devel/apache-maven to 3.9.10nb1 [wiz 2026-09-17]
+       Updated math/yices2 to 2.7.0 [wiz 2026-09-17]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.27928 pkgsrc/doc/TODO:1.27929
--- pkgsrc/doc/TODO:1.27928     Thu Sep 17 02:26:21 2026
+++ pkgsrc/doc/TODO     Thu Sep 17 13:45:12 2026
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.27928 2026/09/17 02:26:21 taca Exp $
+$NetBSD: TODO,v 1.27929 2026/09/17 13:45:12 wiz Exp $
 
 Suggested new packages
 ======================
@@ -1416,7 +1416,6 @@ For possible Perl packages updates, see 
        o yarn-3.2.4
        o yaz-5.30.3
        o yazi-26.9.1
-       o yices2-2.6.2
        o yodl-4.03.03
        o yorick-2.1.05
        o yubikey-manager-5.1.1