diff options
| author | yuri <yuri@FreeBSD.org> | 2018-07-23 11:19:26 +0800 |
|---|---|---|
| committer | yuri <yuri@FreeBSD.org> | 2018-07-23 11:19:26 +0800 |
| commit | 18c09a3ea9906ed1c190b21245fbd99267f01874 (patch) | |
| tree | 21b157a75ae756b0ad03b8e8954bf767b943a542 /security/Makefile | |
| parent | 7b312d13c79ab6f62d7ecff89417efb7bea0f201 (diff) | |
| download | freebsd-ports-gnome-18c09a3ea9906ed1c190b21245fbd99267f01874.tar.gz freebsd-ports-gnome-18c09a3ea9906ed1c190b21245fbd99267f01874.tar.zst freebsd-ports-gnome-18c09a3ea9906ed1c190b21245fbd99267f01874.zip | |
New port: security/klee: Symbolic virtual machine built on top of the LLVM
PR: 219150
Submitted by: larca <itbot@list.ru>
Diffstat (limited to 'security/Makefile')
| -rw-r--r-- | security/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/security/Makefile b/security/Makefile index ada158591282..9fc6b55bac4a 100644 --- a/security/Makefile +++ b/security/Makefile @@ -309,6 +309,7 @@ SUBDIR += kgpg SUBDIR += kgpg-kde4 SUBDIR += kickpass + SUBDIR += klee SUBDIR += kleopatra SUBDIR += knock SUBDIR += knocker |