CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   adam
Date:           Thu May 11 06:47:50 UTC 2023

Modified Files:
        pkgsrc/doc: CHANGES-2023 TODO

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


To generate a diff of this commit:
cvs rdiff -u -r1.2993 -r1.2994 pkgsrc/doc/CHANGES-2023
cvs rdiff -u -r1.22922 -r1.22923 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-2023
diff -u pkgsrc/doc/CHANGES-2023:1.2993 pkgsrc/doc/CHANGES-2023:1.2994
--- pkgsrc/doc/CHANGES-2023:1.2993      Thu May 11 05:28:17 2023
+++ pkgsrc/doc/CHANGES-2023     Thu May 11 06:47:49 2023
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2023,v 1.2993 2023/05/11 05:28:17 adam Exp $
+$NetBSD: CHANGES-2023,v 1.2994 2023/05/11 06:47:49 adam Exp $
 
 Changes to the packages collection and infrastructure in 2023:
 
@@ -4159,3 +4159,7 @@ Changes to the packages collection and i
        Updated net/sniproxy to 0.6.1 [schmonz 2023-05-11]
        Added devel/py-nampa version 0.1.1 [adam 2023-05-11]
        Added sysutils/cargo-cache version 0.8.3 [adam 2023-05-11]
+       Updated math/z3 to 4.12.1 [adam 2023-05-11]
+       Updated math/py-z3 to 4.12.1 [adam 2023-05-11]
+       Updated emulators/unicorn to 2.0.1.post1 [adam 2023-05-11]
+       Updated emulators/py-unicorn to 2.0.1.post1 [adam 2023-05-11]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.22922 pkgsrc/doc/TODO:1.22923
--- pkgsrc/doc/TODO:1.22922     Thu May 11 00:17:54 2023
+++ pkgsrc/doc/TODO     Thu May 11 06:47:49 2023
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.22922 2023/05/11 00:17:54 dholland Exp $
+$NetBSD: TODO,v 1.22923 2023/05/11 06:47:49 adam Exp $
 
 Suggested new packages
 ======================
@@ -1248,7 +1248,6 @@ For possible Perl packages updates, see 
        o py-wxWidgets-4.0.0
        o py-yubiauth-0.3.10
        o py-yubikey-manager-5.1.1
-       o py-z3-4.8.10
        o py-z3solver-4.8.10.0
        o pythontidy-1.23
        o q5go-2.1.1
@@ -1554,7 +1553,6 @@ For possible Perl packages updates, see 
        o yorick-2.1.05
        o yudit-3.0.7
        o z-push-2.6.1
-       o z3-4.11.2
        o z80-asm-2.4
        o zabbix-6.4.1
        o zabbix-frontend-6.4.1