@name py311-z3-4.15.3_0
@portname py311-z3
@portepoch 0
@portversion 4.15.3
@portrevision 0
@archs noarch
@pkgdep z3-4.15.3_0
@pkgdep py311-setuptools-80.9.0_0
@pkgdep python311-3.11.13_0
@macports_version 2.11.5
@os.subplatform macosx
@ports_commit f403859a69a14aa2a86197b2c59868b3f7be0d10
@source_date_epoch 1756520930
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/libz3.dylib
@comment MD5:84a6d76ff1b6eb154de3362ba89d54af
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3.py
@comment MD5:72173fdf95957bef023b71be7be0e689
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3consts.py
@comment MD5:470eea8e4e2db3ab69021c644ed6af72
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3core.py
@comment MD5:c976e11563ecc85b78e461ea0801f94d
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3num.py
@comment MD5:05f09e1fe2643e6f43896ae999feda4c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3poly.py
@comment MD5:e34f2a452068247abddb7676f48a21d1
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3printer.py
@comment MD5:b2523755b614b12945859a139d5121ed
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3rcf.py
@comment MD5:bdbbd48671e4daaffb0bc7fb868d7c5c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3test.py
@comment MD5:f547ed236692e5a1e412f2e0da47c7ac
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/z3/z3types.py
@comment MD5:0be7a61ed7a3d684e0e4a1ad72800311
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/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
