@cwd /usr/pkg
@pkgcfl z3-[0-9]*
@name py39-z3solver-4.8.9.0nb2
@blddep py39-setuptools-67.3.3
@pkgdep py39-setuptools-[0-9]*
@blddep python39-3.9.16
@pkgdep python39>=3.9.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.9/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
lib/python3.9/site-packages/z3/__pycache__/__init__.cpython-39.pyc
@comment MD5:fc937ec82c3f4812d6fc6e4e34ddf6fa
lib/python3.9/site-packages/z3/__pycache__/__init__.cpython-39.opt-1.pyc
@comment MD5:f01fde7e6c2f2a735d1c2709279030c0
lib/python3.9/site-packages/z3/include/api_ast_map.h
@comment MD5:c41258f5c4ca01fcbb3bca5d9a06a04a
lib/python3.9/site-packages/z3/include/api_ast_vector.h
@comment MD5:82c43392a113829d24f01a545910e0d6
lib/python3.9/site-packages/z3/include/api_context.h
@comment MD5:086de1e756d4c16ed5ecf3c48df847a6
lib/python3.9/site-packages/z3/include/api_datalog.h
@comment MD5:99cca0534b5ff8817f4a1d2866824ffb
lib/python3.9/site-packages/z3/include/api_goal.h
@comment MD5:9b9c712ad87c24d4c7f7f1d584b54e75
lib/python3.9/site-packages/z3/include/api_log_macros.h
@comment MD5:1b4bd04089898986d165caaaccf5a7bf
lib/python3.9/site-packages/z3/include/api_model.h
@comment MD5:bbe1322e185f8883fff8038a24c586b0
lib/python3.9/site-packages/z3/include/api_polynomial.h
@comment MD5:cb1d761883b96828f9e2e7ee0e9f100f
lib/python3.9/site-packages/z3/include/api_solver.h
@comment MD5:40421432f644674bafa2cf4a46750068
lib/python3.9/site-packages/z3/include/api_stats.h
@comment MD5:93b02a8a43f075661e6b87bfd8966ae0
lib/python3.9/site-packages/z3/include/api_tactic.h
@comment MD5:c895a61634b44e01abc3fac7f8da35f2
lib/python3.9/site-packages/z3/include/api_util.h
@comment MD5:3e6e1c566d800d489f633df7f32fcfc2
lib/python3.9/site-packages/z3/include/z3++.h
@comment MD5:c8e25b6e743c1e172328ffd2bfe0ccd5
lib/python3.9/site-packages/z3/include/z3.h
@comment MD5:4989b735983241c8608f8a2d06b6c382
lib/python3.9/site-packages/z3/include/z3_algebraic.h
@comment MD5:2882a94e6466b01993c5c665e47195d1
lib/python3.9/site-packages/z3/include/z3_api.h
@comment MD5:59849aa5339d111d83d9494dbf416ac8
lib/python3.9/site-packages/z3/include/z3_ast_containers.h
@comment MD5:6acc97b069965281de022bcad05c089b
lib/python3.9/site-packages/z3/include/z3_fixedpoint.h
@comment MD5:153947c68aa154723923d434c1beafa2
lib/python3.9/site-packages/z3/include/z3_fpa.h
@comment MD5:95a6b089ad06c3e8c83b025735e3472f
lib/python3.9/site-packages/z3/include/z3_logger.h
@comment MD5:1dc8ce346aa3c83caa0dd105f4908ed8
lib/python3.9/site-packages/z3/include/z3_macros.h
@comment MD5:d7f161bbbd9e2433abacde8da0650928
lib/python3.9/site-packages/z3/include/z3_optimization.h
@comment MD5:328453a004ccb1a292a671abf16be025
lib/python3.9/site-packages/z3/include/z3_polynomial.h
@comment MD5:f6cbc35f4c40c9a3fc0470b14911c613
lib/python3.9/site-packages/z3/include/z3_private.h
@comment MD5:970848456fb993c75a2d5a6bc623e7dc
lib/python3.9/site-packages/z3/include/z3_rcf.h
@comment MD5:6934524bb5efb3e5628cf13a7b9d80e4
lib/python3.9/site-packages/z3/include/z3_replayer.h
@comment MD5:9ac950089286d398853ded1777732364
lib/python3.9/site-packages/z3/include/z3_spacer.h
@comment MD5:d318a14f26a36cd3a2d9e0ec53d5d5c1
lib/python3.9/site-packages/z3/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
lib/python3.9/site-packages/z3/lib/libz3.so
@comment MD5:80433e3f624965344e8f127ab7ff72d1
lib/python3.9/site-packages/z3/z3.py
@comment MD5:de0543031cfa8ea078ee8622d3a988ce
lib/python3.9/site-packages/z3/__pycache__/z3.cpython-39.pyc
@comment MD5:bbeaff1e81e9e1a19c0d96115e452611
lib/python3.9/site-packages/z3/__pycache__/z3.cpython-39.opt-1.pyc
@comment MD5:caaadecfdbd24f9dc58b6fe11d94a767
lib/python3.9/site-packages/z3/z3consts.py
@comment MD5:be30445f154dc219eed0437e9d701de9
lib/python3.9/site-packages/z3/__pycache__/z3consts.cpython-39.pyc
@comment MD5:d15fbfa2f4afdd6b3c39283694c91d31
lib/python3.9/site-packages/z3/__pycache__/z3consts.cpython-39.opt-1.pyc
@comment MD5:d15fbfa2f4afdd6b3c39283694c91d31
lib/python3.9/site-packages/z3/z3core.py
@comment MD5:63be3c01210b2ff3f8bf585d32e085d3
lib/python3.9/site-packages/z3/__pycache__/z3core.cpython-39.pyc
@comment MD5:8fd649304505f1c92702c6a794fa276f
lib/python3.9/site-packages/z3/__pycache__/z3core.cpython-39.opt-1.pyc
@comment MD5:7e1d5bde0f81807915b8ff75d28b2609
lib/python3.9/site-packages/z3/z3num.py
@comment MD5:5e0b7ec587a37cc7b4900cb7d6caaf0b
lib/python3.9/site-packages/z3/__pycache__/z3num.cpython-39.pyc
@comment MD5:5394b91904f96aa9003977dfae763b68
lib/python3.9/site-packages/z3/__pycache__/z3num.cpython-39.opt-1.pyc
@comment MD5:e1c7e850e4b213a02d94897849b3e38f
lib/python3.9/site-packages/z3/z3poly.py
@comment MD5:5dacc8d87e832fc60c6fa57acd9df67c
lib/python3.9/site-packages/z3/__pycache__/z3poly.cpython-39.pyc
@comment MD5:fc0c05ae99b4a65f3091943c1707def2
lib/python3.9/site-packages/z3/__pycache__/z3poly.cpython-39.opt-1.pyc
@comment MD5:2a679ab121d96bf42cd5fdd335ce29b4
lib/python3.9/site-packages/z3/z3printer.py
@comment MD5:78f3fe06f9074b7c7885f793f8152d43
lib/python3.9/site-packages/z3/__pycache__/z3printer.cpython-39.pyc
@comment MD5:76dd951b231a717a7bb6f83dfb837934
lib/python3.9/site-packages/z3/__pycache__/z3printer.cpython-39.opt-1.pyc
@comment MD5:ea663c963c97f6255c185c0b7cb9abec
lib/python3.9/site-packages/z3/z3rcf.py
@comment MD5:4e4180d817ce5a8708302dfe316d6741
lib/python3.9/site-packages/z3/__pycache__/z3rcf.cpython-39.pyc
@comment MD5:315a75dea210ad51f4398c9c5555e8f5
lib/python3.9/site-packages/z3/__pycache__/z3rcf.cpython-39.opt-1.pyc
@comment MD5:315a75dea210ad51f4398c9c5555e8f5
lib/python3.9/site-packages/z3/z3types.py
@comment MD5:4eba3fd037a60be7d7ca9a49619ca0b2
lib/python3.9/site-packages/z3/__pycache__/z3types.cpython-39.pyc
@comment MD5:211b09db1a70b74420ae8a9723f0f731
lib/python3.9/site-packages/z3/__pycache__/z3types.cpython-39.opt-1.pyc
@comment MD5:4034e9f832107d039f03c5875deabd24
lib/python3.9/site-packages/z3/z3util.py
@comment MD5:48b567a6fdb72cfa70a67f9e5539258c
lib/python3.9/site-packages/z3/__pycache__/z3util.cpython-39.pyc
@comment MD5:7e5c39d30f51bad50b73e712a106e416
lib/python3.9/site-packages/z3/__pycache__/z3util.cpython-39.opt-1.pyc
@comment MD5:f495d1ce7ffdc62c4f3720a98e7b0ca3
lib/python3.9/site-packages/z3_solver-4.8.9.0-py3.9.egg-info/PKG-INFO
@comment MD5:c6e37e7193014ab2576ede08310cc53e
lib/python3.9/site-packages/z3_solver-4.8.9.0-py3.9.egg-info/SOURCES.txt
@comment MD5:6d7bb471400164c06bc34b6bdfc84714
lib/python3.9/site-packages/z3_solver-4.8.9.0-py3.9.egg-info/dependency_links.txt
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
lib/python3.9/site-packages/z3_solver-4.8.9.0-py3.9.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
