blob: 20426c8270b96e790f61431754d132519a3922f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
@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}
|
