CVS commit: pkgsrc/doc

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   adam
Date:           Thu Feb 20 10:27:31 UTC 2025

Modified Files:
        pkgsrc/doc: CHANGES-2025

Log Message:
Updated math/z3, math/py-z3


To generate a diff of this commit:
cvs rdiff -u -r1.1508 -r1.1509 pkgsrc/doc/CHANGES-2025

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-2025
diff -u pkgsrc/doc/CHANGES-2025:1.1508 pkgsrc/doc/CHANGES-2025:1.1509
--- pkgsrc/doc/CHANGES-2025:1.1508      Thu Feb 20 08:50:23 2025
+++ pkgsrc/doc/CHANGES-2025     Thu Feb 20 10:27:31 2025
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2025,v 1.1508 2025/02/20 08:50:23 adam Exp $
+$NetBSD: CHANGES-2025,v 1.1509 2025/02/20 10:27:31 adam Exp $
 
 Changes to the packages collection and infrastructure in 2025:
 
@@ -2003,3 +2003,5 @@ Changes to the packages collection and i
        Updated net/haproxy to 3.1.4 [adam 2025-02-20]
        Updated devel/py-pykka to 4.2.0 [adam 2025-02-20]
        Updated devel/py-pyelftools to 0.32 [adam 2025-02-20]
+       Updated math/z3 to 4.14.0 [adam 2025-02-20]
+       Updated math/py-z3 to 4.14.0 [adam 2025-02-20]