[pkgsrc/trunk]: pkgsrc/doc doc: Updated math/z3 to 4.5.0

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/bb8c7a4dac6a
branches:  trunk
changeset: 377044:bb8c7a4dac6a
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Mar 13 00:32:11 2018 +0000

description:
doc: Updated math/z3 to 4.5.0

diffstat:

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

diffs (14 lines):

diff -r 5500dc982275 -r bb8c7a4dac6a doc/CHANGES-2018
--- a/doc/CHANGES-2018  Tue Mar 13 00:31:16 2018 +0000
+++ b/doc/CHANGES-2018  Tue Mar 13 00:32:11 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.1218 2018/03/12 16:54:33 adam Exp $
+$NetBSD: CHANGES-2018,v 1.1219 2018/03/13 00:32:11 khorben Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -1670,3 +1670,4 @@
        Updated graphics/ImageMagick to 7.0.7.26 [fhajny 2018-03-12]
        Updated graphics/libimagequant to 2.11.10 [adam 2018-03-12]
        Updated databases/py-sqlalchemy to 1.2.5 [adam 2018-03-12]
+       Updated math/z3 to 4.5.0 [khorben 2018-03-13]