@name py-z3-4.15.3_0
@portname py-z3
@portepoch 0
@portversion 4.15.3
@portrevision 0
@archs noarch
@pkgdep z3-4.15.3_0
@pkgdep py312-z3-4.15.3_0
@macports_version 2.11.5
@ports_commit f403859a69a14aa2a86197b2c59868b3f7be0d10
@source_date_epoch 1756520930
opt/local/share/doc/py-z3/README
@comment MD5:fec8f0a2c3d8e8246dc26a99915bedf8
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
