@name py-z3-4.15.4_0
@portname py-z3
@portepoch 0
@portversion 4.15.4
@portrevision 0
@archs noarch
@pkgdep z3-4.15.4_0
@pkgdep py312-z3-4.15.4_0
@macports_version 2.11.6
@ports_commit 6bfb0b24bf05f48dad2d3cd2e19503d93cddea25
@source_date_epoch 1762788455
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
