diff options
Diffstat (limited to 'security/klee')
| -rw-r--r-- | security/klee/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index 899dd4e90578..a0b706ff2063 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -6,6 +6,7 @@ CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org COMMENT= Symbolic virtual machine built on top of LLVM +WWW= https://klee.github.io/ LICENSE= NCSA LICENSE_FILE= ${WRKSRC}/LICENSE.TXT |