@cwd /usr/pkg
@pkgcfl z3-[0-9]*
@name py27-z3solver-4.5.1.0.post2
@blddep py27-setuptools-40.8.0
@pkgdep py27-setuptools>=0.8
@blddep python27-2.7.15nb1
@pkgdep python27>=2.7.1nb2
@blddep digest-20190127
@blddep cwrappers-20180325
@comment $NetBSD: PLIST,v 1.1 2018/03/20 15:47:36 khorben Exp $
bin/z3
@comment MD5:801d3c340a95facbfa2a4f2c15f1559b
lib/python2.7/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
lib/python2.7/site-packages/z3/__init__.pyc
@comment MD5:82a82812731f36da30280b1b0be91902
lib/python2.7/site-packages/z3/__init__.pyo
@comment MD5:82a82812731f36da30280b1b0be91902
lib/python2.7/site-packages/z3/include/c++/z3++.h
@comment MD5:84eb2000315307706f0ab3163c0d09a6
lib/python2.7/site-packages/z3/include/z3.h
@comment MD5:47ec3ddf6c5992b47eff7854642b9591
lib/python2.7/site-packages/z3/include/z3_algebraic.h
@comment MD5:14ce73e0147693dcf7ece1dd231b2723
lib/python2.7/site-packages/z3/include/z3_api.h
@comment MD5:06ee85b5387a05a514e23af44641c444
lib/python2.7/site-packages/z3/include/z3_fpa.h
@comment MD5:88bb63d8b6df5d21132142f0910306fc
lib/python2.7/site-packages/z3/include/z3_interp.h
@comment MD5:226c2a9d5d2e276411c074c4be5a2de0
lib/python2.7/site-packages/z3/include/z3_macros.h
@comment MD5:c3398f502d9f6b65e3e141a9311da6e2
lib/python2.7/site-packages/z3/include/z3_polynomial.h
@comment MD5:91a0c7ee25db9cb1fe2b3d9d0c5345bb
lib/python2.7/site-packages/z3/include/z3_rcf.h
@comment MD5:fce007e7ddc0b20a6efc3438c862a68f
lib/python2.7/site-packages/z3/include/z3_v1.h
@comment MD5:b59e0b219892cfb14e7f2d44b7f87ab0
lib/python2.7/site-packages/z3/lib/libz3.so
@comment MD5:25dde324b0e5c1b8c7b495ef7abba48b
lib/python2.7/site-packages/z3/z3.py
@comment MD5:17ab2472b0e875997526c18680dc0859
lib/python2.7/site-packages/z3/z3.pyc
@comment MD5:cf5636bdac9cf81d2c5a2689dc269fd3
lib/python2.7/site-packages/z3/z3.pyo
@comment MD5:b8c91b05c4a8da01782d0fb699fa6b63
lib/python2.7/site-packages/z3/z3consts.py
@comment MD5:e1b3cf629983f991f991db0205c0d465
lib/python2.7/site-packages/z3/z3consts.pyc
@comment MD5:1837a47b58e7a44688272eea4bade5da
lib/python2.7/site-packages/z3/z3consts.pyo
@comment MD5:1837a47b58e7a44688272eea4bade5da
lib/python2.7/site-packages/z3/z3core.py
@comment MD5:f4736ed531143212289b138a15bdce22
lib/python2.7/site-packages/z3/z3core.pyc
@comment MD5:7581ee16246e0444a4166adfd181ccbd
lib/python2.7/site-packages/z3/z3core.pyo
@comment MD5:7581ee16246e0444a4166adfd181ccbd
lib/python2.7/site-packages/z3/z3num.py
@comment MD5:5e0b7ec587a37cc7b4900cb7d6caaf0b
lib/python2.7/site-packages/z3/z3num.pyc
@comment MD5:aa3c9197cb85467150c867c6482a9076
lib/python2.7/site-packages/z3/z3num.pyo
@comment MD5:698172f9752a4f4c18eabea65641b3af
lib/python2.7/site-packages/z3/z3poly.py
@comment MD5:5dacc8d87e832fc60c6fa57acd9df67c
lib/python2.7/site-packages/z3/z3poly.pyc
@comment MD5:8f0a095c97394746830942ae685c7f96
lib/python2.7/site-packages/z3/z3poly.pyo
@comment MD5:8f0a095c97394746830942ae685c7f96
lib/python2.7/site-packages/z3/z3printer.py
@comment MD5:f2febeb70bb6ef385adc03879568b29d
lib/python2.7/site-packages/z3/z3printer.pyc
@comment MD5:e425f61584b74bba9c09f3ba4e2de394
lib/python2.7/site-packages/z3/z3printer.pyo
@comment MD5:aedb8dede079d7ff198a66f3472375c6
lib/python2.7/site-packages/z3/z3rcf.py
@comment MD5:b600213f421ab931035502ce99dac7c1
lib/python2.7/site-packages/z3/z3rcf.pyc
@comment MD5:5d0cc7faf5327631146730b10152baaf
lib/python2.7/site-packages/z3/z3rcf.pyo
@comment MD5:5d0cc7faf5327631146730b10152baaf
lib/python2.7/site-packages/z3/z3types.py
@comment MD5:8cc7dcccda02d7a0620fe6f9c5a3fb4d
lib/python2.7/site-packages/z3/z3types.pyc
@comment MD5:bd8b1e15e2c0d636ed176a0c11dae5d3
lib/python2.7/site-packages/z3/z3types.pyo
@comment MD5:bd8b1e15e2c0d636ed176a0c11dae5d3
lib/python2.7/site-packages/z3/z3util.py
@comment MD5:c38ec0fe82db97ce0a6b251ca1a66a70
lib/python2.7/site-packages/z3/z3util.pyc
@comment MD5:1212bcfbcea8162c7b60065728995561
lib/python2.7/site-packages/z3/z3util.pyo
@comment MD5:16e0f02344faa838b2e4b1584f72bc17
lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/PKG-INFO
@comment MD5:f062d8352f0696b7b2e5e45c14dd8734
lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/SOURCES.txt
@comment MD5:10daa5592936843c7a2cced7f8e7f2b2
lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/dependency_links.txt
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/top_level.txt
@comment MD5:808ad84ee61d8c19a834207ba93e7db8
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
