@name yices-2.6.5_0
@portname yices
@portepoch 0
@portversion 2.6.5
@portrevision 0
@archs x86_64
@pkgdep gmp-6.3.0_0
@pkgdep libcxx-5.0.1_5
opt/local/bin/yices
@comment MD5:08a36edeac406dc8e07222a6f40b5454
@comment binary:1
opt/local/bin/yices-sat
@comment MD5:2b9cb08907b1be83f8288f0c99cc03e7
@comment binary:1
opt/local/bin/yices-smt
@comment MD5:e76c58415802b259b707ec7577bb99ec
@comment binary:1
opt/local/bin/yices-smt2
@comment MD5:38621c7d4b40a7e0d8612dd3f8656c9d
@comment binary:1
opt/local/include/yices.h
@comment MD5:7a7d0ec2d4beb04d3efa038559df927f
@comment binary:0
opt/local/include/yices_exit_codes.h
@comment MD5:a1062486bd3ac315bbfc930f71809abb
@comment binary:0
opt/local/include/yices_limits.h
@comment MD5:314c3e1bf14675704510eb9df4615cea
@comment binary:0
opt/local/include/yices_types.h
@comment MD5:ab6b8542fba778f924c98f14995247b7
@comment binary:0
opt/local/lib/libyices.2.dylib
@comment MD5:9e33e98ae89cf07970842dc99dc454e4
@comment binary:1
opt/local/lib/libyices.a
@comment MD5:3b771f39b94f1b535bb16c6e2ee67c1a
@comment binary:0
opt/local/lib/libyices.dylib
@comment MD5:9e33e98ae89cf07970842dc99dc454e4
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
