@name py310-z3-4.15.2_0
@portname py310-z3
@portepoch 0
@portversion 4.15.2
@portrevision 0
@archs noarch
@pkgdep z3-4.15.2_0
@pkgdep py310-setuptools-80.9.0_0
@pkgdep python310-3.10.18_0
@macports_version 2.11.3
@os.subplatform macosx
@ports_commit 2bde2bf63a09ec4198806a96b6ffe5c26ebce281
@source_date_epoch 1753752804
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/libz3.dylib
@comment MD5:82689db0f8f7157395d26f145de5d985
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3.py
@comment MD5:836dbda47075aa6e2ffab062240e8a2b
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3consts.py
@comment MD5:470eea8e4e2db3ab69021c644ed6af72
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3core.py
@comment MD5:95cefb80a391a377b7d736d1e3110bd8
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3num.py
@comment MD5:05f09e1fe2643e6f43896ae999feda4c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3poly.py
@comment MD5:e34f2a452068247abddb7676f48a21d1
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3printer.py
@comment MD5:b2523755b614b12945859a139d5121ed
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3rcf.py
@comment MD5:bdbbd48671e4daaffb0bc7fb868d7c5c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3test.py
@comment MD5:f547ed236692e5a1e412f2e0da47c7ac
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3types.py
@comment MD5:0be7a61ed7a3d684e0e4a1ad72800311
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages/z3/z3util.py
@comment MD5:69521a8f3c74a483e6d7610c522408a9
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
