1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-06 06:30:19 +00:00
freebsd-ports/security/klee
Gleb Popov 85bfd07243 security/klee: Update to 2.0 and switch to LLVM 8.
PR:		230516
Submitted by:	brooks
Approved by:	tcberner (mentor)
2019-03-26 04:38:52 +00:00
..
files
distinfo security/klee: Update to 2.0 and switch to LLVM 8. 2019-03-26 04:38:52 +00:00
Makefile security/klee: Update to 2.0 and switch to LLVM 8. 2019-03-26 04:38:52 +00:00
pkg-descr
pkg-plist security/klee: Update to 2.0 and switch to LLVM 8. 2019-03-26 04:38:52 +00:00