@cwd /usr/pkg
@name yices2-2.6.5
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep digest-20220214
@blddep gperf-3.3
@blddep mktools-20250213
@blddep autoconf-2.72
@blddep bash-5.3.15
@blddep gmake-4.4.1
@blddep distcc-3.4
@blddep cwrappers-20220403
@comment $NetBSD: PLIST,v 1.2 2026/02/28 11:28:44 alnsn Exp $
bin/yices
@comment MD5:6d12afada83269c59f201bb8c9869729
bin/yices-sat
@comment MD5:ab2c49e43d2377c16dfeaaa86d32f8e7
bin/yices-smt
@comment MD5:0491265a7f30c25ec2b46a898b7e76f6
bin/yices-smt2
@comment MD5:84c5b11eb448e6045538c8049f323f73
include/yices.h
@comment MD5:7a7d0ec2d4beb04d3efa038559df927f
include/yices_exit_codes.h
@comment MD5:a1062486bd3ac315bbfc930f71809abb
include/yices_limits.h
@comment MD5:314c3e1bf14675704510eb9df4615cea
include/yices_types.h
@comment MD5:ab6b8542fba778f924c98f14995247b7
lib/libyices.a
@comment MD5:fd3cc0826f9e1dc4f7f4eb61f1b49cb4
lib/libyices.so
@comment Symlink:libyices.so.2.6.5
lib/libyices.so.2.6.5
@comment MD5:8c788c84e5313d51fbd9a740c09be1a9
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
