@cwd /usr/pkg
@name yices2-2.7.0
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep digest-20220214
@blddep gperf-3.3
@blddep mktools-20250213
@blddep autoconf-2.73
@blddep bash-5.3.20
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@comment $NetBSD: PLIST,v 1.2 2026/02/28 11:28:44 alnsn Exp $
bin/yices
@comment MD5:b1b872d5a823b4836edd0cae90b9c7a4
bin/yices-sat
@comment MD5:827e749b7b735e069c53900bd9f8139b
bin/yices-smt
@comment MD5:4de2056119fdfd417543e9c0fa1fdfb7
bin/yices-smt2
@comment MD5:dea7b2e971f9cf5da1803b65614ab4d3
include/yices.h
@comment MD5:80f6b7a3d8ec7bfd32333fd4e7b6062b
include/yices_exit_codes.h
@comment MD5:a1062486bd3ac315bbfc930f71809abb
include/yices_limits.h
@comment MD5:dcaaf789d816845b2b0f56ae826735f5
include/yices_types.h
@comment MD5:49a465e206cb7d88f55f51e0927464a3
lib/libyices.a
@comment MD5:3f6b6e5762e99bc5114988ef2f3bfd62
lib/libyices.so
@comment Symlink:libyices.so.2.7.0
lib/libyices.so.2.7.0
@comment MD5:944ce174e1d6fcda86fc52b4cf63f295
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
