@name yices-2.6.5_0
@portname yices
@portepoch 0
@portversion 2.6.5
@portrevision 0
@archs arm64
@pkgdep gmp-6.3.0_0
@macports_version 2.11.5
@os.subplatform macosx
@os.version 25.0.0
@macos_version 26.0
@xcodecltversion 26.0.0.0.1.1757719676
@ports_commit 8b2fa614a237460d3437606f0374b6a692424d0d
@source_date_epoch 1754397609
opt/local/bin/yices
@comment MD5:e4280b53755080c1fd0bdbaab435cbb7
@comment binary:1
opt/local/bin/yices-sat
@comment MD5:3b94f314c0b419214abea7bd536e79e7
@comment binary:1
opt/local/bin/yices-smt
@comment MD5:fd61f3262d2af0a407f10a7226eceb50
@comment binary:1
opt/local/bin/yices-smt2
@comment MD5:c5868ea7b9dfcdb28b7710311cbc7b22
@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:12f1c9bd70b6a24271a9cf1cbbae2d06
@comment binary:1
opt/local/lib/libyices.a
@comment MD5:4a8d396f0a9690da6ecd03fb9a4d8f56
@comment binary:0
opt/local/lib/libyices.dylib
@comment MD5:12f1c9bd70b6a24271a9cf1cbbae2d06
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
