[pkgsrc/trunk]: pkgsrc/doc doc: Added math/py-z3solver version 4.5.1.0.post2

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/e5ea6bb8dca7
branches:  trunk
changeset: 377613:e5ea6bb8dca7
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Mar 20 15:48:21 2018 +0000

description:
doc: Added math/py-z3solver version 4.5.1.0.post2

diffstat:

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

diffs (14 lines):

diff -r 354edebbc248 -r e5ea6bb8dca7 doc/CHANGES-2018
--- a/doc/CHANGES-2018  Tue Mar 20 15:47:36 2018 +0000
+++ b/doc/CHANGES-2018  Tue Mar 20 15:48:21 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.1428 2018/03/20 15:42:11 khorben Exp $
+$NetBSD: CHANGES-2018,v 1.1429 2018/03/20 15:48:21 khorben Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -1936,3 +1936,4 @@
        Added graphics/R-ggplot2 version 2.2.1 [minskim 2018-03-20]
        Added devel/py-pyelftools version 0.24 [khorben 2018-03-20]
        Added devel/py-pysha3 version 1.0.2 [khorben 2018-03-20]
+       Added math/py-z3solver version 4.5.1.0.post2 [khorben 2018-03-20]