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