Gleb Popov 0ae12f109b security/klee: Do not build on i386, it is unsupported upstream. ... While here, add BACKEND multigroup and move STP and Z3 options there.		2020-12-14 07:24:41 +00:00
..
distinfo	security/klee: Update to 2.2	2020-12-09 14:47:43 +00:00
Makefile	security/klee: Do not build on i386, it is unsupported upstream.	2020-12-14 07:24:41 +00:00
pkg-descr
pkg-plist	security/klee: Update to 2.2	2020-12-09 14:47:43 +00:00