@name py313-z3-4.15.4_0
@portname py313-z3
@portepoch 0
@portversion 4.15.4
@portrevision 0
@archs noarch
@pkgdep z3-4.15.4_0
@pkgdep py313-setuptools-80.9.0_0
@pkgdep legacy-support-1.5.2_0
@pkgdep python313-3.13.11_0
@macports_version 2.11.6
@os.subplatform macosx
@ports_commit 6dc6dd063e0224acd1e4c06dd3bf2f3aa4362b5a
@source_date_epoch 1765249335
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/libz3.dylib
@comment MD5:f83c318df7250ee9887da82276405d96
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3.py
@comment MD5:1895b904107c193afeded4772f563ef5
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3consts.py
@comment MD5:470eea8e4e2db3ab69021c644ed6af72
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3core.py
@comment MD5:b8377a7c6f52a381fc1e86bc60337341
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3num.py
@comment MD5:05f09e1fe2643e6f43896ae999feda4c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3poly.py
@comment MD5:e34f2a452068247abddb7676f48a21d1
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3printer.py
@comment MD5:b2523755b614b12945859a139d5121ed
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3rcf.py
@comment MD5:bdbbd48671e4daaffb0bc7fb868d7c5c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3test.py
@comment MD5:f547ed236692e5a1e412f2e0da47c7ac
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/z3/z3types.py
@comment MD5:0be7a61ed7a3d684e0e4a1ad72800311
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/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
