@name py39-z3-4.15.4_0
@portname py39-z3
@portepoch 0
@portversion 4.15.4
@portrevision 0
@archs noarch
@pkgdep z3-4.15.4_0
@pkgdep py39-setuptools-80.9.0_0
@pkgdep python39-3.9.25_0
@macports_version 2.11.6
@os.subplatform macosx
@ports_commit 6bfb0b24bf05f48dad2d3cd2e19503d93cddea25
@source_date_epoch 1762788455
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/libz3.dylib
@comment MD5:3233ce87924b9f9997a3652702a57fb1
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3.py
@comment MD5:1895b904107c193afeded4772f563ef5
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3consts.py
@comment MD5:470eea8e4e2db3ab69021c644ed6af72
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3core.py
@comment MD5:b8377a7c6f52a381fc1e86bc60337341
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3num.py
@comment MD5:05f09e1fe2643e6f43896ae999feda4c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3poly.py
@comment MD5:e34f2a452068247abddb7676f48a21d1
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3printer.py
@comment MD5:b2523755b614b12945859a139d5121ed
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3rcf.py
@comment MD5:bdbbd48671e4daaffb0bc7fb868d7c5c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3test.py
@comment MD5:f547ed236692e5a1e412f2e0da47c7ac
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/z3/z3types.py
@comment MD5:0be7a61ed7a3d684e0e4a1ad72800311
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/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
