@name solidity-0.8.28_0+z3
@portname solidity
@portepoch 0
@portversion 0.8.28
@portrevision 0
@archs arm64
@portvariant +z3
@pkgdep z3-4.13.4_0
@pkgdep boost176-1.76.0_13
opt/local/bin/solc
@comment MD5:0f860adf6fe25522f1b9ffee432e527e
@comment binary:1
opt/local/bin/yul-phaser
@comment MD5:8049a6741778f94331a5e4d63fae5f5a
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
