@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:6eb2027e3d96cf91b1f4c7eefbecfaea
@comment binary:1
opt/local/bin/yul-phaser
@comment MD5:cfb4715cf62bf3ff780bb41ffaea2261
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
