@cwd /usr/pkg
@name yices2-2.6.1
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep digest-20220214
@blddep gperf-3.2nb1
@blddep mktools-20250213
@blddep autoconf-2.72
@blddep bash-5.3.3nb1
@blddep gmake-4.4.1
@blddep distcc-3.4
@blddep cwrappers-20220403
@comment $NetBSD: PLIST,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
bin/yices
@comment MD5:de9cadf59ddf12e97ffbe16be1e21482
bin/yices-sat
@comment MD5:2b64d0c3b2eccccd6e6ae62f167045d2
bin/yices-smt
@comment MD5:b9c84feaf68f2fe71569be0b9b78f675
bin/yices-smt2
@comment MD5:5052bd7c842d66f8e0ac7cf92e0a4833
include/yices.h
@comment MD5:30a6dd2356937869f76fa2d038db0246
include/yices_exit_codes.h
@comment MD5:83d66b8e49a508856e1c3954bdab72f7
include/yices_limits.h
@comment MD5:12b667d9a427d38f624c187cad0aeb29
include/yices_types.h
@comment MD5:962ca5ad1600d0dfedd62bc742e9730a
lib/libyices.so
@comment Symlink:libyices.so.2.6.1
lib/libyices.so.2.6.1
@comment MD5:8f4673e3c6a8a62d232a0f831c23b2cc
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
