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