@name py-z3-4.15.2_0
@portname py-z3
@portepoch 0
@portversion 4.15.2
@portrevision 0
@archs noarch
@pkgdep z3-4.15.2_0
@pkgdep py312-z3-4.15.2_0
@macports_version 2.11.3
@ports_commit 2bde2bf63a09ec4198806a96b6ffe5c26ebce281
@source_date_epoch 1753752804
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
