[pkgsrc/trunk]: pkgsrc/doc Note update of math/z3 to 4.8.3nb4.

[he <he%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/aaccb8825209
branches:  trunk
changeset: 385721:aaccb8825209
user:      he <he%pkgsrc.org@localhost>
date:      Sun Sep 25 11:02:23 2022 +0000

description:
Note update of math/z3 to 4.8.3nb4.

diffstat:

 doc/CHANGES-2022 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r 8646d2950d51 -r aaccb8825209 doc/CHANGES-2022
--- a/doc/CHANGES-2022  Sun Sep 25 11:01:34 2022 +0000
+++ b/doc/CHANGES-2022  Sun Sep 25 11:02:23 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.4664 2022/09/25 10:14:39 tnn Exp $
+$NetBSD: CHANGES-2022,v 1.4665 2022/09/25 11:02:23 he Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -6860,3 +6860,4 @@
        Added multimedia/gst-plugins1-osxvideo version 1.20.3 [adam 2022-09-24]
        Updated meta-pkgs/gstreamer1-default-backend to 1.1 [adam 2022-09-24]
        Updated www/felinks to 0.15.1 [tnn 2022-09-25]
+       Updated math/z3 to 4.8.3nb4 [he 2022-09-25]