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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/2de724a2856f
branches:  trunk
changeset: 389031:2de724a2856f
user:      kamil <kamil%pkgsrc.org@localhost>
date:      Tue Dec 18 06:48:52 2018 +0000

description:
doc: Updated math/z3 to 4.8.3

diffstat:

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

diffs (14 lines):

diff -r 0a40e0bdef54 -r 2de724a2856f doc/CHANGES-2018
--- a/doc/CHANGES-2018  Tue Dec 18 06:46:39 2018 +0000
+++ b/doc/CHANGES-2018  Tue Dec 18 06:48:52 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.5269 2018/12/18 01:55:56 nia Exp $
+$NetBSD: CHANGES-2018,v 1.5270 2018/12/18 06:48:52 kamil Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -7368,3 +7368,4 @@
        Added sysutils/nnn version 2.1 [bsiegert 2018-12-17]
        Updated emulators/libretro-snes9x to 1.58 [nia 2018-12-18]
        Updated emulators/libretro-reicast to 20181213 [nia 2018-12-18]
+       Updated math/z3 to 4.8.3 [kamil 2018-12-18]