Yuri Victorovich 7a0790d0f8 security/klee: arrowd@FreeBSD.org takes maintainership ... The original submitter gave up on the klee port. Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option section. PR: 219150 Requested by: arrowd (maintainership change)		2018-07-23 05:28:54 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist