@cwd /usr/pkg
@pkgcfl z3-[0-9]*
@name py310-z3solver-4.8.9.0nb2
@blddep py310-setuptools-63.4.3
@pkgdep py310-setuptools-[0-9]*
@blddep python310-3.10.7
@pkgdep python310>=3.10.0
@blddep digest-20220214
@comment $NetBSD: PLIST,v 1.2 2020/09/18 05:00:48 khorben Exp $
bin/z3
@comment MD5:a83e079d99e58969d50dd40cb0cffc6e
lib/python3.10/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.pyc
@comment MD5:65e9088634be7d3deeca9b7a15c8fe53
lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.opt-1.pyc
@comment MD5:ce2b5cc871a5496ac4be30588bfec157
lib/python3.10/site-packages/z3/include/api_ast_map.h
@comment MD5:c41258f5c4ca01fcbb3bca5d9a06a04a
lib/python3.10/site-packages/z3/include/api_ast_vector.h
@comment MD5:82c43392a113829d24f01a545910e0d6
lib/python3.10/site-packages/z3/include/api_context.h
@comment MD5:086de1e756d4c16ed5ecf3c48df847a6
lib/python3.10/site-packages/z3/include/api_datalog.h
@comment MD5:99cca0534b5ff8817f4a1d2866824ffb
lib/python3.10/site-packages/z3/include/api_goal.h
@comment MD5:9b9c712ad87c24d4c7f7f1d584b54e75
lib/python3.10/site-packages/z3/include/api_log_macros.h
@comment MD5:1b4bd04089898986d165caaaccf5a7bf
lib/python3.10/site-packages/z3/include/api_model.h
@comment MD5:bbe1322e185f8883fff8038a24c586b0
lib/python3.10/site-packages/z3/include/api_polynomial.h
@comment MD5:cb1d761883b96828f9e2e7ee0e9f100f
lib/python3.10/site-packages/z3/include/api_solver.h
@comment MD5:40421432f644674bafa2cf4a46750068
lib/python3.10/site-packages/z3/include/api_stats.h
@comment MD5:93b02a8a43f075661e6b87bfd8966ae0
lib/python3.10/site-packages/z3/include/api_tactic.h
@comment MD5:c895a61634b44e01abc3fac7f8da35f2
lib/python3.10/site-packages/z3/include/api_util.h
@comment MD5:3e6e1c566d800d489f633df7f32fcfc2
lib/python3.10/site-packages/z3/include/z3++.h
@comment MD5:c8e25b6e743c1e172328ffd2bfe0ccd5
lib/python3.10/site-packages/z3/include/z3.h
@comment MD5:4989b735983241c8608f8a2d06b6c382
lib/python3.10/site-packages/z3/include/z3_algebraic.h
@comment MD5:2882a94e6466b01993c5c665e47195d1
lib/python3.10/site-packages/z3/include/z3_api.h
@comment MD5:59849aa5339d111d83d9494dbf416ac8
lib/python3.10/site-packages/z3/include/z3_ast_containers.h
@comment MD5:6acc97b069965281de022bcad05c089b
lib/python3.10/site-packages/z3/include/z3_fixedpoint.h
@comment MD5:153947c68aa154723923d434c1beafa2
lib/python3.10/site-packages/z3/include/z3_fpa.h
@comment MD5:95a6b089ad06c3e8c83b025735e3472f
lib/python3.10/site-packages/z3/include/z3_logger.h
@comment MD5:1dc8ce346aa3c83caa0dd105f4908ed8
lib/python3.10/site-packages/z3/include/z3_macros.h
@comment MD5:d7f161bbbd9e2433abacde8da0650928
lib/python3.10/site-packages/z3/include/z3_optimization.h
@comment MD5:328453a004ccb1a292a671abf16be025
lib/python3.10/site-packages/z3/include/z3_polynomial.h
@comment MD5:f6cbc35f4c40c9a3fc0470b14911c613
lib/python3.10/site-packages/z3/include/z3_private.h
@comment MD5:970848456fb993c75a2d5a6bc623e7dc
lib/python3.10/site-packages/z3/include/z3_rcf.h
@comment MD5:6934524bb5efb3e5628cf13a7b9d80e4
lib/python3.10/site-packages/z3/include/z3_replayer.h
@comment MD5:9ac950089286d398853ded1777732364
lib/python3.10/site-packages/z3/include/z3_spacer.h
@comment MD5:d318a14f26a36cd3a2d9e0ec53d5d5c1
lib/python3.10/site-packages/z3/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
lib/python3.10/site-packages/z3/lib/libz3.so
@comment MD5:4da9bcda8f9ce70f7052e4fc6a8b321e
lib/python3.10/site-packages/z3/z3.py
@comment MD5:de0543031cfa8ea078ee8622d3a988ce
lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.pyc
@comment MD5:42f9f96d061f4ebd192820e540ab082e
lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.opt-1.pyc
@comment MD5:a2e4c7d485dca4b6c1b7e79bdbda6ed9
lib/python3.10/site-packages/z3/z3consts.py
@comment MD5:be30445f154dc219eed0437e9d701de9
lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.pyc
@comment MD5:d53f54afb4226c4405db633f4baf0a60
lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.opt-1.pyc
@comment MD5:d53f54afb4226c4405db633f4baf0a60
lib/python3.10/site-packages/z3/z3core.py
@comment MD5:63be3c01210b2ff3f8bf585d32e085d3
lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.pyc
@comment MD5:273579ba6d0b28153288b855cdc0bbca
lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.opt-1.pyc
@comment MD5:b74ecbad8b1d1eb2fad488fa4bf0208a
lib/python3.10/site-packages/z3/z3num.py
@comment MD5:5e0b7ec587a37cc7b4900cb7d6caaf0b
lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.pyc
@comment MD5:e7359735f859b33f8054d2b9aaba6844
lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.opt-1.pyc
@comment MD5:f76b20ad6958ef036720f2b3259521ad
lib/python3.10/site-packages/z3/z3poly.py
@comment MD5:5dacc8d87e832fc60c6fa57acd9df67c
lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.pyc
@comment MD5:070e61630a6f0b6972aaa379d7895eed
lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.opt-1.pyc
@comment MD5:c3511874e04bc384823f8a944214282a
lib/python3.10/site-packages/z3/z3printer.py
@comment MD5:78f3fe06f9074b7c7885f793f8152d43
lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.pyc
@comment MD5:7f62ce64049acc7dc3223544b5303b3a
lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.opt-1.pyc
@comment MD5:c22387bb0aee1eadac2c6b8e435dcdf1
lib/python3.10/site-packages/z3/z3rcf.py
@comment MD5:4e4180d817ce5a8708302dfe316d6741
lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.pyc
@comment MD5:0f24e57f956a5a9fda89935a8010fef3
lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.opt-1.pyc
@comment MD5:0f24e57f956a5a9fda89935a8010fef3
lib/python3.10/site-packages/z3/z3types.py
@comment MD5:4eba3fd037a60be7d7ca9a49619ca0b2
lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.pyc
@comment MD5:a6dd1b168a63b8db68aefbc9c1024cda
lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.opt-1.pyc
@comment MD5:a6dd1b168a63b8db68aefbc9c1024cda
lib/python3.10/site-packages/z3/z3util.py
@comment MD5:48b567a6fdb72cfa70a67f9e5539258c
lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.pyc
@comment MD5:183502f8480a0d50070da27a8bdac569
lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.opt-1.pyc
@comment MD5:01aa0d3cbd9b82c591d0acce6a704fae
lib/python3.10/site-packages/z3_solver-4.8.9.0-py3.10.egg-info/PKG-INFO
@comment MD5:c6e37e7193014ab2576ede08310cc53e
lib/python3.10/site-packages/z3_solver-4.8.9.0-py3.10.egg-info/SOURCES.txt
@comment MD5:6d7bb471400164c06bc34b6bdfc84714
lib/python3.10/site-packages/z3_solver-4.8.9.0-py3.10.egg-info/dependency_links.txt
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
lib/python3.10/site-packages/z3_solver-4.8.9.0-py3.10.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
