@name openshell-0.1.5_0
@portname openshell
@portepoch 0
@portversion 0.1.5
@portrevision 0
@archs x86_64
@pkgdep libiconv-1.19_0
@pkgdep z3-4.15.4_0
@macports_version 2.12.7
@os.subplatform macosx
@os.version 17.7.0
@macos_version 10.13.6
@xcodecltversion 9.4.1.0.1.1528165917
@ports_commit 4efe0350856ac4cca4ca6db209938098a0cbc2d0
@source_date_epoch 1792797958
opt/local/bin/openshell
@comment MD5:b54ab6a05de6f1f88de46f1f0827a52f
@comment binary:1
opt/local/bin/openshell-gateway
@comment MD5:0bc8b1bb5c2e5f1d02064c9dc12ad8ca
@comment binary:1
opt/local/bin/openshell-prover
@comment MD5:80df52a2aa8a2fbf8239e6f40be96121
@comment binary:1
opt/local/share/bash-completion/completions/openshell
@comment MD5:3b5390954842e3d904ccdb5f4bb8bd2e
@comment binary:0
opt/local/share/doc/openshell/LICENSE
@comment MD5:c6b67b7f728047a0fdcffa59fb9a549c
@comment binary:0
opt/local/share/doc/openshell/README.md
@comment MD5:902125791bc9f912e21a71c7fc9117fe
@comment binary:0
opt/local/share/doc/openshell/THIRD-PARTY-NOTICES
@comment MD5:8f532500fe909adaa32a1efcb270b906
@comment binary:0
opt/local/share/fish/vendor_completions.d/openshell.fish
@comment MD5:88a030242a7a7abc7ed694ea4b8ba02e
@comment binary:0
opt/local/share/zsh/site-functions/_openshell
@comment MD5:6e1475b2a7617728da2605f95d90eea3
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
