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