[pkgsrc/trunk]: pkgsrc/doc doc: Updated math/py-z3solver to 4.8.9.0

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/044a37b43f44
branches:  trunk
changeset: 439329:044a37b43f44
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Fri Sep 18 05:01:03 2020 +0000

description:
doc: Updated math/py-z3solver to 4.8.9.0

diffstat:

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

diffs (14 lines):

diff -r ba24502ce6b3 -r 044a37b43f44 doc/CHANGES-2020
--- a/doc/CHANGES-2020  Fri Sep 18 05:00:48 2020 +0000
+++ b/doc/CHANGES-2020  Fri Sep 18 05:01:03 2020 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2020,v 1.5305 2020/09/17 22:05:41 ryoon Exp $
+$NetBSD: CHANGES-2020,v 1.5306 2020/09/18 05:01:03 khorben Exp $
 
 Changes to the packages collection and infrastructure in 2020:
 
@@ -7980,3 +7980,4 @@
        Updated textproc/po4a to 0.60 [schmonz 2020-09-17]
        Updated lang/gcc8 to 8.4.0nb2 [ryoon 2020-09-17]
        Updated lang/gcc8-libs to 8.4.0nb3 [ryoon 2020-09-17]
+       Updated math/py-z3solver to 4.8.9.0 [khorben 2020-09-18]