CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   adam
Date:           Wed May 17 07:56:13 UTC 2023

Modified Files:
        pkgsrc/doc: CHANGES-2023

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


To generate a diff of this commit:
cvs rdiff -u -r1.3092 -r1.3093 pkgsrc/doc/CHANGES-2023

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-2023
diff -u pkgsrc/doc/CHANGES-2023:1.3092 pkgsrc/doc/CHANGES-2023:1.3093
--- pkgsrc/doc/CHANGES-2023:1.3092      Wed May 17 07:17:29 2023
+++ pkgsrc/doc/CHANGES-2023     Wed May 17 07:56:13 2023
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2023,v 1.3092 2023/05/17 07:17:29 adam Exp $
+$NetBSD: CHANGES-2023,v 1.3093 2023/05/17 07:56:13 adam Exp $
 
 Changes to the packages collection and infrastructure in 2023:
 
@@ -4338,3 +4338,5 @@ Changes to the packages collection and i
        Updated games/warzone2100 to 4.3.5 [triaxx 2023-05-17]
        Added textproc/py-types-yaml version 6.0.12.9 [adam 2023-05-17]
        Updated net/py-responses to 0.23.1nb1 [adam 2023-05-17]
+       Updated math/z3 to 4.12.2 [adam 2023-05-17]
+       Updated math/py-z3 to 4.12.2 [adam 2023-05-17]