@cwd /usr/pkg
@name py313-z3-4.14.0
@blddep py313-importlib-resources-6.5.2nb1
@pkgdep py313-importlib-resources-[0-9]*
@blddep gcc12-libs-12.4.0nb3
@pkgdep gcc12-libs>=12.1.0
@blddep libatomic-13.2.0
@pkgdep libatomic>=12.1.0nb1
@blddep z3-4.14.0
@pkgdep z3>=4.12.2nb1
@blddep digest-20220214
@blddep python313-3.13.5
@blddep py313-setuptools-80.9.0
@blddep py313-build-1.2.2.post1nb1
@blddep py313-installer-0.7.0nb3
@blddep mktools-20250213
@blddep cmake-3.31.7nb2
@blddep cwrappers-20220403
@blddep gcc12-12.4.0nb1
@comment $NetBSD: PLIST,v 1.5 2025/02/20 10:27:01 adam Exp $
lib/python3.13/site-packages/z3_solver-4.14.0.0.dist-info/METADATA
@comment MD5:b28868323d1039622f15033b42388828
lib/python3.13/site-packages/z3_solver-4.14.0.0.dist-info/RECORD
@comment MD5:dcd7b5226df1c222ff89f83dd0e563f9
lib/python3.13/site-packages/z3_solver-4.14.0.0.dist-info/WHEEL
@comment MD5:08dd01ac2afdbb287cc668d51c7056c8
lib/python3.13/site-packages/z3_solver-4.14.0.0.dist-info/top_level.txt
@comment MD5:808ad84ee61d8c19a834207ba93e7db8
lib/python3.13/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
lib/python3.13/site-packages/z3/__pycache__/__init__.cpython-313.pyc
@comment MD5:fe98a5010a77e2b28c7156735f51bd22
lib/python3.13/site-packages/z3/__pycache__/__init__.cpython-313.opt-1.pyc
@comment MD5:fe98a5010a77e2b28c7156735f51bd22
lib/python3.13/site-packages/z3/include/api_ast_map.h
@comment MD5:c41258f5c4ca01fcbb3bca5d9a06a04a
lib/python3.13/site-packages/z3/include/api_ast_vector.h
@comment MD5:ea92e9cb291d2d92bb5fa428066db7e9
lib/python3.13/site-packages/z3/include/api_context.h
@comment MD5:2060bd9a33988364566d916c81f40ef1
lib/python3.13/site-packages/z3/include/api_datalog.h
@comment MD5:99cca0534b5ff8817f4a1d2866824ffb
lib/python3.13/site-packages/z3/include/api_goal.h
@comment MD5:928faf73642733720a183b2276057c0a
lib/python3.13/site-packages/z3/include/api_model.h
@comment MD5:8d702da0504bee300ea19dc789d72188
lib/python3.13/site-packages/z3/include/api_polynomial.h
@comment MD5:8182ff3e4bf9eac1310408e3e8b8bf9d
lib/python3.13/site-packages/z3/include/api_solver.h
@comment MD5:82d9633e72473c854a31c75719d8468b
lib/python3.13/site-packages/z3/include/api_stats.h
@comment MD5:a212449af851b4f775199a52ca07bded
lib/python3.13/site-packages/z3/include/api_tactic.h
@comment MD5:fd560c67d1518b939c102f3be500beed
lib/python3.13/site-packages/z3/include/api_util.h
@comment MD5:a997439e5e988ecea5824fb5ed94dde8
lib/python3.13/site-packages/z3/include/z3++.h
@comment MD5:2f7d454d333c58bba868bb9a752056e4
lib/python3.13/site-packages/z3/include/z3.h
@comment MD5:410b2c82cb60876114f6722b49a5f1b1
lib/python3.13/site-packages/z3/include/z3_algebraic.h
@comment MD5:eed96a98ccca879c61f29f7590945557
lib/python3.13/site-packages/z3/include/z3_api.h
@comment MD5:61d1c0569dbaf847a2525972f915b7a8
lib/python3.13/site-packages/z3/include/z3_ast_containers.h
@comment MD5:f3453f709c563f03d747f41c85eabe2d
lib/python3.13/site-packages/z3/include/z3_fixedpoint.h
@comment MD5:3d76b391f3d00fc5ecba31aa2f80f17e
lib/python3.13/site-packages/z3/include/z3_fpa.h
@comment MD5:2967106c6fc5df56a7208894a7cd1953
lib/python3.13/site-packages/z3/include/z3_logger.h
@comment MD5:9ef183aaca07bfab0db0aef27367adf7
lib/python3.13/site-packages/z3/include/z3_macros.h
@comment MD5:b135b9b51425ecaf3e03393494cda2a6
lib/python3.13/site-packages/z3/include/z3_optimization.h
@comment MD5:f3a637dd382258b1d1b216c7c842d7df
lib/python3.13/site-packages/z3/include/z3_polynomial.h
@comment MD5:158eba9164719d95da61ead07ca3f48c
lib/python3.13/site-packages/z3/include/z3_private.h
@comment MD5:4e21fd85677019400736319dac58d9a4
lib/python3.13/site-packages/z3/include/z3_rcf.h
@comment MD5:832c89329462f994b3d3f402fa706683
lib/python3.13/site-packages/z3/include/z3_replayer.h
@comment MD5:b9f683dc885e2cb2f8e6df442ff11a02
lib/python3.13/site-packages/z3/include/z3_spacer.h
@comment MD5:143903084e9d12a00621fffd8af13919
lib/python3.13/site-packages/z3/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
lib/python3.13/site-packages/z3/lib/libz3.so
@comment MD5:5579f1ccadea1581710a8ff36fa91b87
lib/python3.13/site-packages/z3/lib/libz3.so.4.14
@comment MD5:5579f1ccadea1581710a8ff36fa91b87
lib/python3.13/site-packages/z3/z3.py
@comment MD5:d0f9866c811aa03cc52bbf2d76e8d170
lib/python3.13/site-packages/z3/__pycache__/z3.cpython-313.pyc
@comment MD5:11cc55648f01f19308ddc7ebc24fc351
lib/python3.13/site-packages/z3/__pycache__/z3.cpython-313.opt-1.pyc
@comment MD5:3b9e7d2e984234f431ee4eb290d31628
lib/python3.13/site-packages/z3/z3consts.py
@comment MD5:5016ed1016d93d44949b2bfefc6f31ea
lib/python3.13/site-packages/z3/__pycache__/z3consts.cpython-313.pyc
@comment MD5:012d94df6a4881b45c40977476b6402e
lib/python3.13/site-packages/z3/__pycache__/z3consts.cpython-313.opt-1.pyc
@comment MD5:012d94df6a4881b45c40977476b6402e
lib/python3.13/site-packages/z3/z3core.py
@comment MD5:50d99914e3e2c6cea63cdfaf3b9a4792
lib/python3.13/site-packages/z3/__pycache__/z3core.cpython-313.pyc
@comment MD5:7890f3895b72a1299a3d191a27f899c1
lib/python3.13/site-packages/z3/__pycache__/z3core.cpython-313.opt-1.pyc
@comment MD5:7890f3895b72a1299a3d191a27f899c1
lib/python3.13/site-packages/z3/z3num.py
@comment MD5:05f09e1fe2643e6f43896ae999feda4c
lib/python3.13/site-packages/z3/__pycache__/z3num.cpython-313.pyc
@comment MD5:5c1faf0c81fab51a65956dab244e265c
lib/python3.13/site-packages/z3/__pycache__/z3num.cpython-313.opt-1.pyc
@comment MD5:1859a78cb176b2d4637aefa706cc828d
lib/python3.13/site-packages/z3/z3poly.py
@comment MD5:e34f2a452068247abddb7676f48a21d1
lib/python3.13/site-packages/z3/__pycache__/z3poly.cpython-313.pyc
@comment MD5:f1832c677849c1f5313951b736a0bd6f
lib/python3.13/site-packages/z3/__pycache__/z3poly.cpython-313.opt-1.pyc
@comment MD5:f1832c677849c1f5313951b736a0bd6f
lib/python3.13/site-packages/z3/z3printer.py
@comment MD5:b2523755b614b12945859a139d5121ed
lib/python3.13/site-packages/z3/__pycache__/z3printer.cpython-313.pyc
@comment MD5:b59fff65e67351c1aa72c547384ffe98
lib/python3.13/site-packages/z3/__pycache__/z3printer.cpython-313.opt-1.pyc
@comment MD5:225a701b7379bf73cc97f6a40adea64f
lib/python3.13/site-packages/z3/z3rcf.py
@comment MD5:bdbbd48671e4daaffb0bc7fb868d7c5c
lib/python3.13/site-packages/z3/__pycache__/z3rcf.cpython-313.pyc
@comment MD5:73651ca1b38318e8e635b3e01a3a0b73
lib/python3.13/site-packages/z3/__pycache__/z3rcf.cpython-313.opt-1.pyc
@comment MD5:73651ca1b38318e8e635b3e01a3a0b73
lib/python3.13/site-packages/z3/z3types.py
@comment MD5:0be7a61ed7a3d684e0e4a1ad72800311
lib/python3.13/site-packages/z3/__pycache__/z3types.cpython-313.pyc
@comment MD5:1bf126b1fb6df0950a5e54d3643b1c46
lib/python3.13/site-packages/z3/__pycache__/z3types.cpython-313.opt-1.pyc
@comment MD5:1bf126b1fb6df0950a5e54d3643b1c46
lib/python3.13/site-packages/z3/z3util.py
@comment MD5:69521a8f3c74a483e6d7610c522408a9
lib/python3.13/site-packages/z3/__pycache__/z3util.cpython-313.pyc
@comment MD5:58eabe317a77a4a155c3c34743130ed6
lib/python3.13/site-packages/z3/__pycache__/z3util.cpython-313.opt-1.pyc
@comment MD5:3913e83f4bac2136c8223057f1f9efc7
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
