math/py-z3solver/Makefile:	$NetBSD: Makefile,v 1.3 2018/03/20 16:24:34 khorben Exp $
math/py-z3solver/PLIST:	$NetBSD: PLIST,v 1.1 2018/03/20 15:47:36 khorben Exp $
math/py-z3solver/distinfo:	$NetBSD: distinfo,v 1.1 2018/03/20 15:47:36 khorben Exp $
math/py-z3solver/patches/patch-core_scripts_mk__util.py:	$NetBSD: patch-core_scripts_mk__util.py,v 1.1 2018/03/20 15:47:36 khorben Exp $
math/py-z3solver/patches/patch-core_src_util_stopwatch.h:	$NetBSD: patch-core_src_util_stopwatch.h,v 1.1 2018/03/20 15:47:36 khorben Exp $
