@cwd /usr/pkg
@pkgcfl z3-[0-9]*
@name py37-z3solver-4.8.9.0nb2
@blddep py37-setuptools-63.4.3
@pkgdep py37-setuptools-[0-9]*
@blddep python37-3.7.14
@pkgdep python37>=3.7.0
@blddep digest-20220214
@comment $NetBSD: PLIST,v 1.2 2020/09/18 05:00:48 khorben Exp $
bin/z3
@comment MD5:26ed54d06991a7ddde4e82914ba7a3dd
lib/python3.7/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
lib/python3.7/site-packages/z3/__pycache__/__init__.cpython-37.pyc
@comment MD5:181c0aafb9176984a70accc965905184
lib/python3.7/site-packages/z3/__pycache__/__init__.cpython-37.opt-1.pyc
@comment MD5:ce32e760dedfd4a053a13ce6ba47ce7a
lib/python3.7/site-packages/z3/include/api_ast_map.h
@comment MD5:c41258f5c4ca01fcbb3bca5d9a06a04a
lib/python3.7/site-packages/z3/include/api_ast_vector.h
@comment MD5:82c43392a113829d24f01a545910e0d6
lib/python3.7/site-packages/z3/include/api_context.h
@comment MD5:086de1e756d4c16ed5ecf3c48df847a6
lib/python3.7/site-packages/z3/include/api_datalog.h
@comment MD5:99cca0534b5ff8817f4a1d2866824ffb
lib/python3.7/site-packages/z3/include/api_goal.h
@comment MD5:9b9c712ad87c24d4c7f7f1d584b54e75
lib/python3.7/site-packages/z3/include/api_log_macros.h
@comment MD5:1b4bd04089898986d165caaaccf5a7bf
lib/python3.7/site-packages/z3/include/api_model.h
@comment MD5:bbe1322e185f8883fff8038a24c586b0
lib/python3.7/site-packages/z3/include/api_polynomial.h
@comment MD5:cb1d761883b96828f9e2e7ee0e9f100f
lib/python3.7/site-packages/z3/include/api_solver.h
@comment MD5:40421432f644674bafa2cf4a46750068
lib/python3.7/site-packages/z3/include/api_stats.h
@comment MD5:93b02a8a43f075661e6b87bfd8966ae0
lib/python3.7/site-packages/z3/include/api_tactic.h
@comment MD5:c895a61634b44e01abc3fac7f8da35f2
lib/python3.7/site-packages/z3/include/api_util.h
@comment MD5:3e6e1c566d800d489f633df7f32fcfc2
lib/python3.7/site-packages/z3/include/z3++.h
@comment MD5:c8e25b6e743c1e172328ffd2bfe0ccd5
lib/python3.7/site-packages/z3/include/z3.h
@comment MD5:4989b735983241c8608f8a2d06b6c382
lib/python3.7/site-packages/z3/include/z3_algebraic.h
@comment MD5:2882a94e6466b01993c5c665e47195d1
lib/python3.7/site-packages/z3/include/z3_api.h
@comment MD5:59849aa5339d111d83d9494dbf416ac8
lib/python3.7/site-packages/z3/include/z3_ast_containers.h
@comment MD5:6acc97b069965281de022bcad05c089b
lib/python3.7/site-packages/z3/include/z3_fixedpoint.h
@comment MD5:153947c68aa154723923d434c1beafa2
lib/python3.7/site-packages/z3/include/z3_fpa.h
@comment MD5:95a6b089ad06c3e8c83b025735e3472f
lib/python3.7/site-packages/z3/include/z3_logger.h
@comment MD5:1dc8ce346aa3c83caa0dd105f4908ed8
lib/python3.7/site-packages/z3/include/z3_macros.h
@comment MD5:d7f161bbbd9e2433abacde8da0650928
lib/python3.7/site-packages/z3/include/z3_optimization.h
@comment MD5:328453a004ccb1a292a671abf16be025
lib/python3.7/site-packages/z3/include/z3_polynomial.h
@comment MD5:f6cbc35f4c40c9a3fc0470b14911c613
lib/python3.7/site-packages/z3/include/z3_private.h
@comment MD5:970848456fb993c75a2d5a6bc623e7dc
lib/python3.7/site-packages/z3/include/z3_rcf.h
@comment MD5:6934524bb5efb3e5628cf13a7b9d80e4
lib/python3.7/site-packages/z3/include/z3_replayer.h
@comment MD5:9ac950089286d398853ded1777732364
lib/python3.7/site-packages/z3/include/z3_spacer.h
@comment MD5:d318a14f26a36cd3a2d9e0ec53d5d5c1
lib/python3.7/site-packages/z3/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
lib/python3.7/site-packages/z3/lib/libz3.so
@comment MD5:80433e3f624965344e8f127ab7ff72d1
lib/python3.7/site-packages/z3/z3.py
@comment MD5:de0543031cfa8ea078ee8622d3a988ce
lib/python3.7/site-packages/z3/__pycache__/z3.cpython-37.pyc
@comment MD5:aa63e12a8a7124936489155e7a6d1ac0
lib/python3.7/site-packages/z3/__pycache__/z3.cpython-37.opt-1.pyc
@comment MD5:d614c5d061ba5a674d62ff48958fbf33
lib/python3.7/site-packages/z3/z3consts.py
@comment MD5:be30445f154dc219eed0437e9d701de9
lib/python3.7/site-packages/z3/__pycache__/z3consts.cpython-37.pyc
@comment MD5:287e91f9f6e956b6925e52f5a05e09df
lib/python3.7/site-packages/z3/__pycache__/z3consts.cpython-37.opt-1.pyc
@comment MD5:287e91f9f6e956b6925e52f5a05e09df
lib/python3.7/site-packages/z3/z3core.py
@comment MD5:63be3c01210b2ff3f8bf585d32e085d3
lib/python3.7/site-packages/z3/__pycache__/z3core.cpython-37.pyc
@comment MD5:7429430b3214135ce10b8a204e2d25f8
lib/python3.7/site-packages/z3/__pycache__/z3core.cpython-37.opt-1.pyc
@comment MD5:9f1dc053f28019827510e7386b92fff9
lib/python3.7/site-packages/z3/z3num.py
@comment MD5:5e0b7ec587a37cc7b4900cb7d6caaf0b
lib/python3.7/site-packages/z3/__pycache__/z3num.cpython-37.pyc
@comment MD5:9a8de07f3f94b9ef3dc332a978ff0202
lib/python3.7/site-packages/z3/__pycache__/z3num.cpython-37.opt-1.pyc
@comment MD5:cb5c98a8f6b9b8014a022138ac295c77
lib/python3.7/site-packages/z3/z3poly.py
@comment MD5:5dacc8d87e832fc60c6fa57acd9df67c
lib/python3.7/site-packages/z3/__pycache__/z3poly.cpython-37.pyc
@comment MD5:3fc34c56d9aaa6389cf7139573490025
lib/python3.7/site-packages/z3/__pycache__/z3poly.cpython-37.opt-1.pyc
@comment MD5:776644d0e5770b9f2158644a72fb22f8
lib/python3.7/site-packages/z3/z3printer.py
@comment MD5:78f3fe06f9074b7c7885f793f8152d43
lib/python3.7/site-packages/z3/__pycache__/z3printer.cpython-37.pyc
@comment MD5:7648298beee4d6751eb76ee57019a7f9
lib/python3.7/site-packages/z3/__pycache__/z3printer.cpython-37.opt-1.pyc
@comment MD5:8ccaebf8010c7129100a6d8b36d7cf13
lib/python3.7/site-packages/z3/z3rcf.py
@comment MD5:4e4180d817ce5a8708302dfe316d6741
lib/python3.7/site-packages/z3/__pycache__/z3rcf.cpython-37.pyc
@comment MD5:103b7f42b00c66d7bb8ab0d73428fb3e
lib/python3.7/site-packages/z3/__pycache__/z3rcf.cpython-37.opt-1.pyc
@comment MD5:103b7f42b00c66d7bb8ab0d73428fb3e
lib/python3.7/site-packages/z3/z3types.py
@comment MD5:4eba3fd037a60be7d7ca9a49619ca0b2
lib/python3.7/site-packages/z3/__pycache__/z3types.cpython-37.pyc
@comment MD5:5fc74e081f9e8644c247eee5795a4a25
lib/python3.7/site-packages/z3/__pycache__/z3types.cpython-37.opt-1.pyc
@comment MD5:5fc74e081f9e8644c247eee5795a4a25
lib/python3.7/site-packages/z3/z3util.py
@comment MD5:48b567a6fdb72cfa70a67f9e5539258c
lib/python3.7/site-packages/z3/__pycache__/z3util.cpython-37.pyc
@comment MD5:860002bd7d81f16d826e4392eda7d653
lib/python3.7/site-packages/z3/__pycache__/z3util.cpython-37.opt-1.pyc
@comment MD5:8ced768e97b282e1380bce25e617c06c
lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.7.egg-info/PKG-INFO
@comment MD5:c6e37e7193014ab2576ede08310cc53e
lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.7.egg-info/SOURCES.txt
@comment MD5:6d7bb471400164c06bc34b6bdfc84714
lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.7.egg-info/dependency_links.txt
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.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
