@comment $NetBSD: PLIST,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
bin/yices
bin/yices-sat
bin/yices-smt
bin/yices-smt2
include/yices.h
include/yices_exit_codes.h
include/yices_limits.h
include/yices_types.h
lib/libyices.so
lib/libyices.so.${PKGVERSION}
